初めに この記事はTheorem Proving Advent Calendar 2011の８日目の記事です。 以前、ペル方程式の解の存在証明をCoqで書いたので、その紹介をしようと思います。 anarchy proofでPell's equationとして投稿されていた問題です。 ちなみにFormalizing 100 th…

Project Eulerなどの問題を解いていると、「mod による場合分けを含んだ多項式により定義された数列」なんだろうけど、一般項を求めるのは面倒だなって思うことが良くある気がします。そこで、そのようなタイプの数列の一般項をすばやく求めるためのプログラ…

http://www.codeforces.com/problemset/problem/113/E 参加しなかった回の問題ですが練習で解いてみました。 この手の問題ってどうやって解くのが一番いいのか悩みます。 とりあえず、再帰をフルに使って解いてみました。案の定間違えまくって、４回目ぐらい…

今回は頑張りが足りなかったです。最終順位はおそらく５０位ぐらいですが、実は通過の１００位以内も結構危なかった。 以下、参加したときのメモ。特に纏めてはいないのでぐちゃぐちゃです。CodeChefのJune Long Contestにも参加してたので、それも混じって…

全てpythonでGolfして解きました。本当はbefungeとかで解きたかったけど、予想以上に問題がHARDだったのでやめました。 努力不足なのであんまり短くないです。A(204 Byte) for T in range(input()): x=raw_input().split();t=i=1;w=[1,1];d=[0,0] while i

D,Cを解きました。 D def readints(): return map(int,raw_input().split()) def main(): global n,m n,m=readints() data=[raw_input().split() for j in xrange(n)] alldata=[d for d2 in reps(data,"J1") for d in reps(d2,"J2")] #print alldata for d i…

Codeforces Beta Round #63に参加しました。 解いた問題E,D,A（この順番） A def readints(): return map(int,raw_input().split()) def main(): n=input() tx=ty=tz=0 for i in xrange(n): x,y,z=readints() tx+=x ty+=y tz+=z #print tx,ty,tz if tx==ty==…