スパコンで力任せに数独の難しい問題を作<del>る</del>ったつもりが簡単な問題だった件
どうやら人間の手で解いたら、簡単に解けてしまうようです。 ここでの難易度の定義に含めていない解法(n国同盟など)を使うと、難しくない問題になっているのかもしれません。 その後調べたところ、基本テクニックだけで解けてしまうことがわかりました。 Pencil Marksが唯一残ったものしか確定しない、というDeterministic Solverを使っていたのが原因で、 難しくない問題を「難しい」と誤判定してしまったようです。 3月13日版よりだいぶ難易度があがったはずです。 概要 スパコンを使って力任せに数独の難しい問題を作ってみたところ、 2013年3月現在、おそらく世界で一番難しい問題を作ることに成功した失敗した。 上図がスパコンを用いて作られた、おそらく世界で一番難しい問題(2013年3月現在)。 後述する難易度の定義では、深さが10、通常幅が183530、平均幅が約100571である
「そっくりハウス」＝宇宙際Teichmuller理論？ | 関本洋司のブログ
ABC予想を証明したと報道された数学者の望月新一氏は、自身のHPでその理論（ 宇宙際Teichmuller理論、Inter-universal Teichmuller Theory）を説明する際に、谷山浩子「そっくりハウス」のアニメ（制作：山田塔子）を使っていた。 （整数問題やABC予想自体はスパイラル状の図解で説明するのが一般的らしいが↓） When arranging the natural numbers in a spiral and emphasizing the prime numbers, an intriguing and not fully explained pattern is observed, called the Ulam spiral. NHKみんなのうたで放送されたそのアニメは現在youtube及びニコ生から削除されてしまっている（エイベックスが販売したDV
KAI_REPORT: 知の爆発−−直感を疎かにしてはいけない（４）
知の爆発−−直感を疎かにしてはいけない（４） 今週は、この情報に、KAIの心は大きく揺さぶられているのであります。 現代の数学に未解明のまま残された問題のうち、「最も重要」とも言われる整数の理論「ＡＢＣ予想」を証明する論文を、望月新一京都大教授（４３）が１８日までにインターネット上で公開した。 論文は４編の５００ページ。整数論の代表的難問であり、解決に約３５０年かかった「フェルマーの最終定理」も、この予想を使えば一気に証明できてしまうことから、欧米のメディアも「驚異的な偉業になるだろう」と興奮気味に伝えている。 ＡＢＣ予想は１９８５年に欧州の数学者らによって提唱された。ＡとＢの二つの整数とこれらを足してできる新たな整数Ｃを考え、それぞれの素因数について成り立つ関係を分析した理論で、整数の方程式の解析では「最も重要な未解決の問題」とも言われる。 望月教授は米プリンストン大数学科を１９歳で卒業
数学入門公開講座｜京都大学数理解析研究所
ヒッチン方程式とその周辺 教授・望月 拓郎 ヒッチン方程式はリーマン面上で定義される非線形な微分方程式です。もともとは物理学で重要なヤン - ミルズ方程式を簡単にしたものとして導入されたのですが、むしろ数学的に興味深い方程式であり、微分幾 何・代数幾何・トポロジーなど様々な分野を結びつける役割を果たし、その影響は代数解析や数論といった かなり離れた分野にまで及んでいます。この講座では、ヒッチン方程式に関連する数学的対象について説明 し、ヒッチン方程式に触発されて発展した研究の一端を紹介する予定です。また、ヒッチン方程式を例とし て、非線形微分方程式の解析の難しさと面白さなどについても触れたいと考えています。 二重指数関数型数値積分公式の理論と発展 助教・大浦 拓哉 二重指数関数型数値積分公式（DE 公式）は高橋秀俊・森正武により1974年に提案された定積分の値を数 値的に求める手法です。現
ABC予想 - Wikipedia
ABC予想（エービーシーよそう、英語: abc conjecture）は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーにより提起された数論の予想である。オステルレ＝マッサー予想（英語: Oesterlé–Masser conjecture）とも呼ばれる[1][2]。 これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、互いに素でありかつ a + b = c を満たすような3つの自然数（この予想に呼び方を合わせると）a, b, c の和と積の関係について述べている[3][4]。 ABC予想は、この予想から数々の興味深い結果が得られることから有名になった。数論における数多の有名な予想や定理がABC予想から直ちに導かれる。 ドリアン・モリス・ゴールドフェルド（英語版）は、ABC予想を「ディオファントス解析で最も重要な未解決問題」であるとしている[5]。 自然数
The Art of Computer Programming
by Donald E. Knuth. Click here to sign up for The Art of Computer Programming Newsletter, which features updates on new editions and promotions. (photo of TAOCP, 1968–2015, by Héctor García-Molina) At the end of 1999, these books were named among the best twelve physical-science monographs of the century by American Scientist, along with: Dirac on quantum mechanics, Einstein on relativity, Mandelb
第１４回：全ての植物をフィボナッチの呪いから救い出す
連載コラム 「生命科学の明日はどっちだ」 目次 第１４回：全ての植物をフィボナッチの呪いから救い出す ロマネスコ（左）とマンデルブロ集合の一部（右） 植物にかかったフィボナッチの魔法 このオーラ全開の野菜、なんだか知ってますか。 そう、最近デパートなんかではよく見るようになったロマネスコというカリフラワーの仲間である。 一説によると、悪魔の野菜とか、神が人間を試すために作った野菜とか言われているらしい。 なんと言っても凄いのは、フラクタル構造がめちゃめちゃはっきり見えること。 まるでマンデルブロ集合みたいだ。 ね、似てるでしょう。フラクタルがこんなにはっきり見える構造物は、他には無いんじゃないかな。 この植物が面白いのは、それだけでは無い。 実の出っ張った部分をつなげていくと、らせん構造がくっきり見えてくるでしょう？ そのらせんの本数を数えてみよう。 右向きのらせんと左向
物理Tips:div,rot,gradの意味
という感覚なのであろう。だがそういう新しい言葉や法則などは、何かを計算するために必要があって編み出されたものであって、何かが便利になるから こそ、世間で使われているのである。div,rot,gradだって同じこと。だから という感覚で出迎えていただきたいものである。div,rot,gradに関しても「何のために必要なのか」→「そのためにはどんな計算をするの か」と考えていった方が、その定義が頭に入ってきやすい。 divの意味 divを具体的に理解するには、水の流れで考えるのが一番良い。洗濯機の中でも滝壺でもいいから、とにかく水がどわーーと流れているところを想像 する。そして、その流れの中にとっても小さな立方体を考える。実際に箱を入れる必要はない。とにかく水の中の「立方体の形をした領域」を考えるのである。 水がどわーーーと流れているのだから、その立方体の中も水が通り抜けていっている。そして「
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
