関連した結果
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/18 00:33 UTC 版)
Hirschhorn et al. (1999)は、ピザの定理と同じように n 枚のスライスに切り分けられたピザは、n/4 人でも分け合えることを示した。例えばピザが12枚に切り分けられているなら、2人だけでなく、3人でも同量ずつに分け合える。しかし5人に公平に分配するためには、ピザは20片に切り分けねばならないだろう。 Cibulka et al. (2010)とKnauer, Micek & Ueckerdt (2011)は、ダン・ブラウンとピーター・ウィンクラー(英語版)が提出したより大規模な分配問題に対するある保証を得るため、ピザの自由な取り分けに関するゲーム理論を研究した。この研究においては、ピザは放射状にカットされ(各部分の角度は同一であるとは限らない)、ピザを分け合う2人のプレイヤーは、既に食べられている片の隣の片を交互に取っていけるという設定である。2人がいずれも取り分を最大化するようピザを取っていくと、先手は最低でもピザ全体の 4/9 が食べられることが保証される。かつ、決して 4/9 より多くは食べられないような最初の切り方が存在する。公平分割(英語版)(fair division)問題またはケーキ分割問題(cake cutting problem)では、類似の設定で、各プレイヤーは異なった取り分の評価基準を持ってよいものとする。例えば、あるプレイヤーは乗っているペパロニの量を最大化するよう行動し、また別のプレイヤーはチーズを最大化したい、といった具合である。
※この「関連した結果」の解説は、「ピザの定理」の解説の一部です。
「関連した結果」を含む「ピザの定理」の記事については、「ピザの定理」の概要を参照ください。
関連した結果
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/23 07:12 UTC 版)
「アックス–グロタンディークの定理」の記事における「関連した結果」の解説
有限型の射(英語版)についての定理を有限体に帰着する別の例が EGA IV で見つかる。そこでは、S 上有限型のスキーム X の根基(英語版) S-自己準同型が全単射であること (10.4.11) と、X/S が finite presentation であり、自己準同型が単射であれば、自己同型であること (17.9.6) が示されている。 アックス–グロタンディークの定理はエデンの園定理の証明に使うこともできる。これはアックス–グロタンディークの定理のように単射性を全射性と関係付ける結果であるが、代数的な分野よりというはむしろセル・オートマトンにおけるものである。この定理の直接的な証明は知られているが、アックス–グロタンディークの定理を使った証明の方がamenable group(英語版)に作用するオートマトンにより広く拡張する。 次に挙げるのはアックス–グロタンディークの定理の部分的な逆のいくつかである。 Z あるいは (Z/pZ)[t] の有限生成拡大上の n 次元アファイン空間の生成点で全射な多項式写像は全単射であり多項式の逆関数は同じ環上有理的である(それゆえ代数的閉包のアファイン空間上全単射である)。 ヒルベルト体上の n 次元アファイン空間の生成点で全射な有理写像は生成点で全単射であり逆写像は同じ体上で定義されている。("ヒルベルト体"(Hilbertian field) はここではヒルベルトの既約性定理が成り立つような体として定義されている。例えば有理数体や関数体。)
※この「関連した結果」の解説は、「アックス–グロタンディークの定理」の解説の一部です。
「関連した結果」を含む「アックス–グロタンディークの定理」の記事については、「アックス–グロタンディークの定理」の概要を参照ください。
- 関連した結果のページへのリンク