ASIACRYPT 2009の参加登録は済 問題は、日曜日中に登録を済ませるか、月曜日に登録するか、のどちらが良いか、だ。 ICS 2010... 凄く行きたいのだが、1月4日〜7日と日程がきつい。暗号の論文もあるので要注目。

この時間帯に書き直しました。 グラフ理論を知っている人用の書き方をすると 直径2かつk-正則グラフの頂点数nの最大値 直径2かつk-正則平面グラフの頂点数nの最大値 を求めたいという問題です。定義から平面グラフか一般のグラフか分からなかったので両方用…

素数体係数多項式の拡張GCDを書かないといけないのだが, それはさておき. ストリーム版が無いけど気にするな. ;;;素朴 (define (fib1 n) (cond ((= n 0) 0) ((= n 1) 1) (else (+ (fib1 (- n 1)) (fib1 (- n 2)))))) ;(time (fib1 30)) ; real 0.285 ; user …

ツッコミに対する反応を見て余計分からなくなった. mixi日記で、突っ込まれた点について。 量子コンピュータはチューリングマシンでできることは全てできることが証明されているので、かけ算も当然できます。量子力学的重ね合わせを使わなければ、全ての量子…

誰の役に立つのか分からないけど. 分岐が意外と多い. Jacobi記号はLegendre記号の一般化になっているので, Legendre記号もこれで求められますよ. (define (Jacobi a n) (cond ((= a 0) 0) ((= a -1) (cond ((= (modulo n 4) 1) 1) ((= (modulo n 4) 3) -1)))…

とりあえず10個かー. 授業で証明読んだもの 停止問題とそのヴァリアント ビジービーバー ライスの定理 L(PDA)?={0,1}^*, L(PDA1)?=L(PDA2) PCP (Postの方) 証明知らないもの ヒルベルトの第10問題 ワンのタイル 読みたいもの DBLPから見繕う. 群同型 en.wiki…

簡易Mathematicaとしては便利なんじゃないでしょうか. 例: (a+b)^2 x^2+2x=y^2+3 factor 2x^5 - 19x^4 + 58x^3 - 67x^2 + 56x - 48 factor x^110+1 in GF(5) 素数位数の体なら因数分解できる factor x^10-1 in Z/44Zとかは因数分解してくれない

今回の内容は以前当ブログに書いた「diff with C++」の記事をもっと濃くした感じになっていて、編集距離やLCS、SESの解説に始まり、Subversionのdiffエンジンや拙作のdtlで使われているO(NP)という差分アルゴリズムについて解説しています。 O(NP)や、それに…

4/24発売だそうです。 確率と計算 ―乱択アルゴリズムと確率的解析―作者: Michael Mitzenmacher,Eli Upfal,小柴健史,河内亮周出版社/メーカー: 共立出版発売日: 2009/04/24メディア: 単行本購入: 2人 クリック: 32回この商品を含むブログ (11件) を見る 目次…

my choices [Oded Goldreich] RSSが配信されているのでそっちで読んだ方が見易いかもしれません. 理想としてはWordpressに移行してTeXプラグインを入れて書いてほしい. TrevisanやTaoみたいに.

STOC 2009 - Accepted Papers (with Abstracts) 格子暗号は2件. Peikertだけかと思ったら, Gentryが凄いの出してきた. イデアル格子ベースの暗号でNC1の回路をシミュレートできるらしい. エラーが足されるせいで, O(log n)までなのかな. エラーを外せれば任…

P. Gopalan, A.R. Klivans, and D. Zuckerman. “List-Decoding Reed-Muller Codes over Small Fields.” (STOC 2008) 中身読んでないのでメモだけ.r次のRM符号RM(r,m,2)のメッセージ空間は, m変数r次のF_2上多項式の集合. 符号が入っている空間はF_2^mの各要…

間違っているところがあったので直そうと思ったら，不完全ベータ関数についてのメモが見つからない. どこ行ってん. Abramowitz and Stegun, Page 263に載ってた. これ引けばいいのかねぇ.

適当な時間に東野圭吾のアレを読むことをメモ. 例の問題が出てくるのは本当だろうか.

(k:0以上の整数) はF_3上でに因数分解でき, それぞれ既約な気がする. d次の多項式fのF_3上の既約性を判断するには, F_3のd次拡大を考えてやる. すると多項式がd次以下のdの約数の次数を持つモニックかつ既約な多項式の積になっている. なので最初に rem f = …

d.y.d. - 23:51 06/10/19 - ランダム生成 あー, 2年経ってようやく, MCMCの話題だということに気づいた(;´Д｀) 重ならない円を1000万個という例2は, モンテカルロ法のチュートリアルに載っている. [cond-mat/9612186] Werner Krauth - “Introduction To Mont…

[0810.1018] Cristopher Moore, Alexander Russell “A simple constant-probability RP reduction from NP to Parity P” 解析的数論というかWeilの有限体上の指標和に関する上限式の結果を使うと戸田の定理の証明の一部が楽になるとかなんとか. (あんまり詳…

[0810.0033] M. H. Freedman “Complexity Classes as Mathematical Axioms” (ephermata: What does knot theory have to do with P^#P != NP ?) P^{PP}≠NPを仮定するとジョーンズ多項式経由で結び目の方で面白い結果が得られるとか.

2^i * 3^j * 5^k なる整数 どう書く？org どう書く？org 7667 leque: 出題時に考えていた答。平衡木を使うので、...(2^i * 3^j * 5^k なる整数) - 投稿の詳細 nobusun 求める数の個数 n なのに 時間計算量 O(log n) というのがよく判らないんです。 素人考え…

The 19th International Symposium on Algorithms and Computation (ISAAC 2008) (via:dense outliers: ISAAC 2008 accepted papers) ぼけーっと見てたら, Giovanni Di Crescenzo. 3-Round NP Arguments in the BPK Model with Optimal Soundness and Zero-K…

>くるるさんがTuring機械と見做せない「機械」としてどのようなものを想定されているのか想像が付きません。 いくらでもあると思うんですが。AIBOとかブルドーザーとか水車とか。アナログな入出力があった時点でTuring機械とはみなせないわけで。もう少し文…

前置き CiNii - ぷよぷよはNP完全 はてなブックマーク - CiNii - ぷよぷよはNP完全 全て頭に一般化が付きます. 色々結果はありますが, 問題の定式化によって当然難しさが変わりますのでご注意を. 定義は元論文を見て確認してください. 2人ゲーム オセロ PSPA…

某所で聞き損ねたこと. そういえばCAの方の文脈で一斉射撃問題というのがあるそうだ. 一斉射撃問題 横一列に兵士が並んでいて, 適当な位置に一人将軍が居る. 命令の伝達は隣の人にしか行えない. このとき, 一斉に射撃するにはどうするか. 兵士間の伝達経路を…

2次元ランダムウォーク どう書く？org 1次元版が1行で書けてびっくりですよ. wにf.xをapplyしようとしてこけたのでリストに変換後lapplyしてunlistしてベクトル化. もっといいデータ構造を使うと3次元表示のときに点と点の間に線を引けるのではないかと予想.…

平均が存在しないことで有名な分布. それはさておき, Cy(m,s)をコーシー分布とする. 確率密度関数はである. 0<e<1かつs>1についてCy(m,s)とCy(m,s+e)と2つ考えたときに統計的距離は2eで抑えられる.真面目に積分した. arctanとか久しぶりに見たよ(;´Д｀) 以下証明. Δを</e<1かつs>…

色々端折った説明.通信路上でエラーが載るので, そのエラーを訂正するために使われるのが誤り訂正符号である. さて, 符号理論ではエラーのモデルとして以下の二つが考えられる. シャノン 1文字ごとにエラーが付くか付かないかが決まる (また各エラーは独立で…

Knuth本の2巻の擬似乱数生成のところにあったなと思って3版の日本語版をゼミ前に確認. 正規分布のサンプリングとかだとそこそこ書いてあるが, 難しい分布になると途端に歯切れが悪くなっている. 更に, 古い論文しか引いてないので, 2版から更新されていない…

ref:どこが面白いの？可逆計算 -- コンピューティングと北極グマ - 檜山正幸のキマイラ飼育記 上記記事を読んで適当な話をメモしておく.そういえば量子だと観測しない限り可逆だなぁと思いました (又聞き). あと素子自体をビリヤードみたいにするタイプの可…

2chのスレッドで反応するのは良くないなぁと思ったので, ここにメモを残しておきます. まぁそもそも仮定につっこむのもアレですが. 格子の被覆半径を計算する問題がNPに属することをわしが証明したら、 V. Guruswami, D. Micciancio, and O. Regev "The comp…

誤差付き計算を扱うことになった. 色々と調べたいのだが, どうしたもんだか. xの誤差が±2^{-k}であるとき, exp(-x)の誤差はどれだけ広がるのか? また誤差を±2^{-k/2}に収めるアルゴリズムがあるとしてその計算時間はいかほどか? 精度保証付き数値計算で調べ…