Avraham_Trahtman
Avraham Naumovich Trahtman（Trakhtman）（ロシア語：АбрамНаумовичТрахтман ; b。1944、ソ連）は、バルイラン大学（イスラエル）の数学者です。2007年、Trahtmanは、37年間開かれていた組み合わせ論の問題を解決しました。これは、1970年に提起されたRoad ColoringConjectureです。
アヴラハム・ナウモビッチ・トラトマン
生まれ
1944年2月10日
カリノヴォ、ネヴィヤンスキー
地区、
スヴェルドロフスク州
母校
ウラル州立大学
で知られている
解決の問題を着色道を
科学的キャリア
田畑
数学
機関
バーイラン大学
指導教官
レブ・N・シェブリン
コンテンツ
1 道路の着色の問題が提起され、解決されました
2 Černý推測
3 その他の作品
4 参考文献
5 外部リンク
道路の着色の問題が提起され、解決されました
道路の着色の問題に対するTrahtmanの解決策は、2007年に受け入れられ、2009年にIsrael Journal ofMathematicsによって公開されました。問題は、力学系の分野の抽象的な部分である記号力学のサブフィールドで発生しました。問題を着色道路がで育てられたRLアドラー米国、イスラエルの数学者B.ワイスからとLW Goodwyn。 使用された証明は、以前の作業から得られたものです。
Černý推測
同期する単語の長さを推定する問題は長い歴史があり、複数の著者によって独立して提起されましたが、それは一般にČerný推測として知られています。1964年にJanČernýはそれを推測しました（（ − 1 ）。 2 { displaystyle（n-1）^ {2}}
は、任意のn状態の完全なDFA（完全な状態遷移グラフを持つDFA）の最短同期ワードの長さの上限です。これが本当なら、それはきついでしょう。彼の1964年の論文で、Černýは、最短のリセットワードがこの長さを持つオートマトンのクラス（状態の数nでインデックス付け）を示しました。2011年にTrahtmanは上界と下界の証明を発表しました （（ 7 2 + 6 − 16 ）。/ 48
{n（7n ^ {2} + 6n-16）/ 48}
、しかしそれから彼はそれに誤りを見つけました。推測は、多くの部分的なケースで成り立ちます。たとえば、Kari とTrahtmanを参照して
その他の作品
有限基礎問題半群半群の理論に6によりもたらさ未満であったためのアルフレッドタルスキ、1966年によって繰り返しアナトリー・モルトセブおよびLN Shevrin。1983年、Trahtmanは、6未満の次数のすべての半群が有限に基づいていることを証明することにより、この問題を解決しました。
半群と普遍代数の多様性の理論では、多様性の格子内の被覆要素の存在の問題は、1971年にエバンスによって提起されました。問題の肯定的な解決策はTrahtmanによって発見されました。彼はまた、亜変種の連続体を持つ多様性を生成する6要素の半群と、既約のアイデンティティの基盤を持たない半群の多様性を発見しました。
理論局部的に検証可能な オートマトンは、局部的に検証可能な半群の品種の理論に基づくことができます。 Trahtmanは、有限オートマトンの局所的な検定可能性のオーダーに関する正確な推定を発見しました。
「ニューサイエンティスト」で言及されている理論力学と、空気から水分を抽出する有望な分野に結果が
参考文献
^ JEピン。オートマトン理論から生じる2つの組み合わせ問題について。離散数学年報、17、535-548、1983。
^ Avraham N. Trahtman：道路の着色の問題。Israel Journal of Mathematics、Vol。172、51〜60、2009
^ RLアドラー、B。ワイス。トーラス、アメルの回顧録の自己同型の類似性。算数。Soc。98、ロードアイランド州プロビデンス、1970年
^ RL Adler、LW Goodwyn、B.Weiss。トポロジカルマルコフシフトの同等性、Israel J. ofMath。27、49-63、1977
^ K. Culik II、J。Karhumaki、J。Kari 同期オートマトンと道路着色問題に関する注記。言語理論の発展（第5回国際会議、ウィーン、2001年）、コンピュータサイエンスの講義ノート、2295、175-185、2002年
^ J。フリードマン。道路の着色の問題。手順 アメールの。算数。Soc。110、1133-1135、1990
^ トラートマン。道路着色のアルゴリズム。Lect。Compのメモ。Sci、7056（2011）、Springer、349–360
^ J.Černý、Poznamka k homogenym eksperimentom s konechnymi automatami、Math.-Fyz。Čas。、14（1964）208–215。
^ トラートマン。最小同期ワードの長さの上限の変更。Lect。Compのメモ。Sci、6914（2011）Springer、173-180
^ Trahtman、A。N（2011）。「最小同期ワードの長さの上限を変更する」。arXiv：1104.2409v6 。
^ J。カリ。オイラー有向グラフの有限オートマトンの同期。スプリンガー、レク。Compのメモ。Sci。、2136、432-438、2001。
^ トラートマン。非周期的オートマタのチェルニー予想。離散数学。理論。計算します。科学 v。9、2（2007）、3-10
^ A。タルスキ。代数の方程式論理と方程式理論。貢献。数学に。論理。ハノーバー、1966年、（1968年午前）、275-288。
^ トラートマン。6未満の次数の半群に対する有限基底の質問。セミグループフォーラム、27（1983）、387-389。
^ トラートマン。5要素の半群のアイデンティティの基底の有限性。Polugruppy i ih gomomorphismy、ロス。行きます。ped。大学、レニングラード、1991、76-98。
^ T。エバンス。半群の品種の格子。セミグループフォーラム。2、1（1971）、1-43。
^ トラートマン。さまざまな普遍代数の格子の要素をカバーします。マット。Zametky、モスクワ、15（1974）、307-312。
^ トラートマン。亜変種の連続体を持つ品種を生成する6要素の半群。ウラルゴス。大学 マット。zap。、Alg。syst。i ih mnogoobr。、Sverdlovsk、14（1988）、no。3、138-143。
^ トラートマン。既約のアイデンティティの根拠のないさまざまな半群。算数。Zametky、モスクワ、21（1977）、865-871。
^ トラートマン。ローカルでテスト可能な半群のID。通信。代数、27（1999）、no。11、5405-5412。
^ トラートマン。有限オートマトンの局所的検定可能性の次数に関する最適な推定。理論。計算します。Sci。、231（2000）、59-74。
^ SA Kazak、GG Kozhushko、ANTrahtman。ディスクリートチェーンの負荷の計算。出会ったテオリジャマシン。ゴーン。ob。スヴェルドロフスク、rel。1、1978、39-51。
^ Kogan。、ANTrahtman。乾燥地域の水資源としての空気からの水分：希望、疑問、事実。J of Arid Env。、London、2、53（2003）、231-240。
^ F。ピアス。露のピラミッド。「ニューサイエンティスト」。52-53。
外部リンク
Bar-Ilan大学のウェブサイトにあるTrahtmanのページ
トラートマンの履歴書
Trahtmanの論文（PDF形式）
MSNBCの「63歳が1970年からなぞなぞを解く」
「百科事典-ブリタニカオンライン百科事典」、記事：Avraham Trahtman
「マックチューター数学史。トラトマンの伝記」
ジョージG.スピロによる数学の数学的メドレー50の簡単な作品”