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
100
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
110
progressReport_k-hasegw_20230131.pdf
khasegw0831
0
350
progressReport_k-hasegw_20230117
khasegw0831
0
380
f-sync_algo
khasegw0831
0
240
Other Decks in Science
See All in Science
サイゼミ用因果推論
lw
1
7.3k
3次元点群を利用した植物の葉の自動セグメンテーションについて
kentaitakura
2
1.2k
06_浅井雄一郎_株式会社浅井農園代表取締役社長_紹介資料.pdf
sip3ristex
0
500
A Guide to Academic Writing Using Generative AI - A Workshop
ks91
PRO
0
110
機械学習 - 決定木からはじめる機械学習
trycycle
PRO
0
960
データベース11: 正規化(1/2) - 望ましくない関係スキーマ
trycycle
PRO
0
640
Healthcare Innovation through Business Entrepreneurship
clintwinters
0
230
データベース03: 関係データモデル
trycycle
PRO
1
120
SpatialBiologyWestCoastUS2024
lcolladotor
0
140
地質研究者が苦労しながら運用する情報公開システムの実例
naito2000
0
210
CV_5_3dVision
hachama
0
140
How To Buy, Verified Venmo Accounts in 2025 This year
usaallshop68
2
110
Featured
See All Featured
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
31
2.4k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
16k
What's in a price? How to price your products and services
michaelherold
246
12k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.9k
Building Adaptive Systems
keathley
43
2.6k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.5k
[RailsConf 2023] Rails as a piece of cake
palkan
55
5.6k
Git: the NoSQL Database
bkeepers
PRO
430
65k
A Modern Web Designer's Workflow
chriscoyier
694
190k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
60k
Building an army of robots
kneath
306
45k
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 のような場合は怪しい