Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
progressReport_k-hasegw_20230220.pdf
Search
k-hasegw
February 20, 2023
Science
0
91
progressReport_k-hasegw_20230220.pdf
k-hasegw
February 20, 2023
Tweet
Share
More Decks by k-hasegw
See All by k-hasegw
researchContentsForB4
khasegw0831
0
91
progressReport_k-hasegw_20230131.pdf
khasegw0831
0
330
progressReport_k-hasegw_20230117
khasegw0831
0
370
f-sync_algo
khasegw0831
0
230
Other Decks in Science
See All in Science
「国と音楽」 ~spotifyrを用いて~ #muana
bob3bob3
2
390
拡散モデルの原理紹介
brainpadpr
3
3.3k
Xpenologyなるアングラプロジェクト周りについて語るやつ
sushi514
0
880
Raccoon Roundworm
uni_of_nomi
0
110
大規模言語モデルの開発
chokkan
PRO
80
27k
Mastering Feature Engineering: Mining the Hidden Salary Formula with CakeResume
tlyu0419
0
210
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
tagtag
0
270
構造設計のための3D生成AI-最新の取り組みと今後の展開-
kojinishiguchi
0
280
AI科学の何が“哲学”の問題になるのか ~問いマッピングの試み~
rmaruy
1
1.9k
PRML Chapter 1 (1.3-1.6)
snkmr
1
170
A Theory of Scrum Team Effectiveness 〜『ゾンビスクラムサバイバルガイド』の裏側にある科学〜
bonotake
15
6.2k
Non-Gaussian methods for causal discovery
sshimizu2006
0
230
Featured
See All Featured
Writing Fast Ruby
sferik
623
60k
How to Ace a Technical Interview
jacobian
274
23k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
245
1.2M
Building Applications with DynamoDB
mza
89
5.8k
From Idea to $5000 a Month in 5 Months
shpigford
377
46k
GraphQLの誤解/rethinking-graphql
sonatard
59
9.6k
The Cost Of JavaScript in 2023
addyosmani
31
4.7k
Robots, Beer and Maslow
schacon
PRO
157
8.1k
Typedesign – Prime Four
hannesfritz
37
2.2k
Large-scale JavaScript Application Architecture
addyosmani
506
110k
A Philosophy of Restraint
colly
200
16k
How to train your dragon (web standard)
notwaldorf
79
5.5k
Transcript
0 左右識別の必然性証明 目標 左右識別機能がないと均一配置できないことの証明 方針(背理法) 1. 左右識別機能なしで均一配置できると仮定 2. 上記を満たす理想アルゴリズムを𝐴とする x+1
| x | x+1 | x | x ⇒ x | x | x | x+1 | x+1 x+2 | x+1 | x+1 | x+2 ⇒ x+1 | x+1 | x+2 | x+2 3. 上記2つを連結すると𝐴では均一配置できなくなる 4. 均一配置できることに矛盾
1 理想アルゴリズム𝐴 x+1 | x | x+1 | x |
x ⇒ x | x | x | x+1 | x+1 間隔 x と x+1 であれば x+1 を右に持ってくる x+2 | x+1 | x+1 | x+2 ⇒ x+1 | x+1 | x+2 | x+2 間隔 x+1 と x+2 であれば x+2 を右に持ってくる 動作 • 間隔 x と x+1 であれば x+1 を右に持ってくる • 間隔 x+1 と x+2 であれば x+2 を右に持ってくる • 左右の間隔が同じであれば動かない
2 導かれる矛盾 最終状態を連結する x | x | x | x+1
| x+1 | x+1 | x+1 | x+2 | x+2 上記は均一配置状態ではないが,停止する 𝐴が均一配置できることに矛盾 動作 • 間隔 x と x+1 であれば x+1 を右に持ってくる • 間隔 x+1 と x+2 であれば x+2 を右に持ってくる • 左右の間隔が同じであれば動かない
3 全ロボット数𝑟,ノード数𝑛の把握 𝑟, 𝑛の両方がわかると均一配置可能か? • 完全な等間隔であれば可能 • 2 | 2
| 2 | 3 | 3 のような場合は怪しい