- ☆★☆ スレ立て依頼所 ☆★☆
325 ： 吉ギュー(catv?)[]：2011/01/21(金) 16:46:35.14 ID:j0K2QRvN0 - 【メルカトル速報】 3-SAT問題が線形時間で解けた(らしい) 実装もあるよ!
http://romvf.wordpress.com/
Would you kindly pay attention to the article
“Non-Orthodox Combinatorial Models Based on Discordant Structures”
by the author V. F. Romanov published on arXiv.org:
http://arxiv.org/abs/1011.3944 (download: PDF, initial format LaTeX, 12pt).
The article presents a constructive proof of effective resolvability of 3-SAT problem,
accompanied by description of a polynomial algorithm created for the named purpose.
The proof uses a unique graph-combinatorial model based on the
Boolean formulas representation in the form of structures of compact triplets.
The proof procedure required the induction principle applied to
special constructive components which are systems of hyperstructures.
|
- 宗教は現世を助けてくれるの？現世救えないならあの世でも救えないだろｗ 今を頑張れない俺達のように
39 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 16:50:39.68 ID:j0K2QRvN0 - >>21
そのAA初めて見た
|
- 彼氏とレストランに行ったら指パッチンでウェイター呼んでた…死にたい…
12 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 17:22:07.75 ID:j0K2QRvN0 - ガンダムだな
|
- ☆★☆ スレ立て依頼所 ☆★☆
334 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 18:00:30.61 ID:j0K2QRvN0 - >>333
ありがとう。
●持ってるはずなのに立てられなかったのよ…
|
- 【メルカトル速報】 3-SAT問題が線形時間で解けた(らしい) 実装もあるよ!
4 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 18:02:36.73 ID:j0K2QRvN0 - 本当だとしたらものすごいことなんだけどなこれ
|
- どんな質問にもマジレスするスレッド1156
450 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 18:29:15.36 ID:j0K2QRvN0 - >>448
ドラッグして下まで引っ張っていく
引っ張れないようならタスクバーを右クリックして出る、
「タスクバーを固定」のチェックを外してやってみる
今手元に7がないからもしかしたら詳細が違うかもしれない
ダメならコントロールパネルにあるスタートメニューとタスクバーの設定も見てみて
|
- どんな質問にもマジレスするスレッド1156
452 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 18:31:49.38 ID:j0K2QRvN0 - 被りすぎわろた
|
- 【メルカトル速報】 3-SAT問題が線形時間で解けた(らしい) 実装もあるよ!
13 ： 吉ギュー(catv?)[]：2011/01/21(金) 18:46:24.60 ID:j0K2QRvN0 - >>12
このニュースの重要性を理解してくれたのはお前だけだよ
|
- 【メルカトル速報】 3-SAT問題が線形時間で解けた(らしい) 実装もあるよ!
16 ： 吉ギュー(catv?)[]：2011/01/21(金) 20:16:11.38 ID:j0K2QRvN0 - >>14
この問題が多項式時間で解かれると、
公開鍵暗号もハッシュ化も電子署名も何もかもが安全性の理論的裏付けを失うんだよ。
まぁどうせ証明の欠陥がどこかに見つかると思うが。
|
- 殺人犯「私は今日生まれた」 キチガイのふりをしたら無罪
60 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 21:49:21.66 ID:j0K2QRvN0 - まぁ措置入院で死ぬまで拘束具ですけどね
|
- どんな質問にもマジレスするスレッド1156
521 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 21:54:33.68 ID:j0K2QRvN0 - >>512
酢でも流したら中和されるんじゃないの
適当な亊言ってるけど
|
- 殺人犯「私は今日生まれた」 キチガイのふりをしたら無罪
77 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 22:30:19.72 ID:j0K2QRvN0 - 心神喪失で無罪なら野に放たれるとか思ってる奴ちょっと多すぎじゃないですか
|
- 殺人犯「私は今日生まれた」 キチガイのふりをしたら無罪
79 ： 吉ギュー(catv?)[sage]：2011/01/21(金) 22:31:01.38 ID:j0K2QRvN0 - >>76
税☆金
本人に所得があったりする場合はそこからもいくらか引かれるようですが
|