競プロ練習記録(ABC189、ABC190など)

ABC190に参加した。その前に練習で ABC189もやっておいた。ABCトーナメントに参加するのが主要な動機。練習自体には、多少慣れた以上はあまり意味がなかったが、python のTLE対策に関してはいくらか知見を得た。 コードテストについて 実行時間的に間に合う…

競プロ練習記録(キーエンス プログラミング コンテスト 2021)

キーエンス プログラミング コンテスト 2021に参加した。 ARC級コンテストはおそらく レート期待値<現在のレート なので、参加するのはレート的に損だと思ったが、折角なので参加した。 また、コンテスト前に、E - Wandering TKHS (まだ途中)を考えたり、環…

競プロ練習記録(簡単めの問題、実装なし)

前回の練習 で典型力が足りないと考えたため、問題をたくさん見てみることにした。 やったこと AtCoder Problems 上でdifficulty 1200 〜1999 の 2018年の問題(全部で40問強ぐらい)を、一問5分程度を目安に頭の中で方針だけ考えるということを、何日かに分…

競プロ練習記録(ARC111)

ARC111のA~Eで練習。 各問題について A 特になし。 B カードを辺と思う発想はなかった。もう少し知識を広げて、典型と感じれる範囲を増やした方がいいかも。 C 特になし。 D 前回の反省でpythonの再帰を使うべきじゃないと書いたのに、この問題ではむしろ再…

競プロ練習記録(ABC187、環境整備など)

開催してたABC187で録画しながら練習した。 Eで詰まったので途中で切り上げて、録画の分析。 観察したこと テストや提出をするための作業に一問60〜90秒ほど使っている。これは、コンテスト時間の10%ほどを占めうるので、自動化するメリットはそれなりに大…

2021年の競技プログラミングの目標

最近は、惰性で競技プログラミングをしていてあまり良くないなと思ったので、今年は目標を立てることにしました。 目標 今年の目標は 「出来るだけ少ない消費時間でAtCoder赤になる」 とします。 消費時間というのはコンテスト参加時間や練習、解説を読むな…

やねうら王ver3.57 USER_ENGINEのコンパイルで躓いたのでメモ

c/c++初心者の自分が、やねうら王のコンパイルで躓いたが、解決できたのでメモ。最初にしたこと。 Visual c++2015をダウンロード。 やねうら王ver3.57(2016年9月2日時点での最新版)をgithubからダウンロード。 やねうら王のプロジェクトファイル(YaneuraOu.…

pari

pariの使い方すぐに忘れるのでメモ /* コメント */ \\ コメント \\ 特に指定しない場合は変数は全てグローバル扱いになる。 \\ 関数定義内で局所変数を使う場合は localまたはmyを使う。 \\ 初期化されていない変数は、自動的に自由変数扱いになる。 \\ 自由…

ペル方程式の解の存在をCoqで証明してみた

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

数列の推測

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

Codeforces86E(Sleeping)

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

TopCoderOpen 2011 Marathon Roun2

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

Google Code Jam 2011 Qualification Round

全て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 (Div. 2)

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==…

ブログはじめました

ブログはじめました。プログラミングとか、コンピュータに関することを書きたいと思っています。