avva: (Default)
[personal profile] avva
Возможно, эта задачка непростая. Я ее пока не решил. Условие красивое.

Дан выпуклый многогранник. На каждой грани сидит муравей, и ползет по периметру своей грани против часовой стрелки. Все муравьи ползут с одинаковой скоростью. Доказать, что рано или поздно два муравья встретятся.

Date: 2009-09-02 06:14 pm (UTC)
From: [identity profile] white-lee.livejournal.com
Черт, я секунд пять пытался понять, почему выпуклый многогранник зовут Даном :).

Date: 2009-09-02 06:48 pm (UTC)

Date: 2009-09-02 07:01 pm (UTC)

Date: 2009-09-03 07:18 pm (UTC)
From: [identity profile] anatoly-rr.livejournal.com
Отсутствие тире должно спасать мысли от ложных путей ;)

Date: 2009-09-02 06:38 pm (UTC)
ext_475885: (Default)
From: [identity profile] brewbuilder.livejournal.com
А они синфазно ползут? Тогда ответ очевиден.
Пока сцуко ползёт по периметру своей грани, сцуко с соседней грани тоже
ползёт против часовой стрели, но, толко, для него ползти против часвой стрелки,
значит ползти в направлении проивоположном, по отношению к направлению ползка
первой сцуки (в силу выпуклости многоранника). И, на общей вершине (или
гарани, если кол-во вершин грани чётное), они встретятся.



Представьте себе что вы смотрите на прямоугольную башню,
с четырёхскатной крышей, на каждой
стороне которой цыферблат часов, и вы стоите точно перед одной из сторон.
Тогда стрелки с противоположной к вам стороне вращаются, по отношению
к вам, против часовой стрелки. В начале каждого часа минутные стрелки
часов встречаются в верхней точке башни (точнее встретились бы там,
если бы до туда они доставали)

Date: 2009-09-02 06:45 pm (UTC)
From: [identity profile] spartach.livejournal.com
Если граней всего две, то муравьи легко могут не встретиться никогда: каждое ребро ведь может составлять лишь малую долю от общего периметра грани, а встретиться они могут только на своем ребре.

(no subject)

From: [identity profile] brewbuilder.livejournal.com - Date: 2009-09-02 06:54 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:23 pm (UTC) - Expand

(no subject)

From: [identity profile] brewbuilder.livejournal.com - Date: 2009-09-02 09:32 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:35 pm (UTC) - Expand

Date: 2009-09-02 06:49 pm (UTC)
From: [identity profile] panikowsky.livejournal.com
Не, они не синфазно ползут.

Date: 2009-09-02 06:49 pm (UTC)
From: [identity profile] dubrick.livejournal.com
Ну, в общем случае это не так. В случае двух граней каждый из двух "сцук" действительно будет ползти в разных направлениях, но совершенно не факт, что в одно и то же время. То есть первый прополз из А в Б, пополз дальше, и только тогда на ребре появляется второй, который ползет из Б в А.
Другое дело, что каждый муравей должен ползти по каждому из ребер в те моменты, когда там не ползет его сосед. Надо доказать, что такого произойти не может, одна из граней обязательно будет "одновременной".
Хотя и это не точно. Ведь никто нам не обещал правильный многогранник, да и нету точки отсчета, совсем не факт, что все стартуют в вершинах. Короче, надо подумать.

(no subject)

From: [identity profile] dmpogo.livejournal.com - Date: 2009-09-02 10:52 pm (UTC) - Expand

Date: 2009-09-02 07:00 pm (UTC)
From: [identity profile] avva.livejournal.com
Многогранник необязательно правильный, начинают они необязательно из вершин, так что синфазности нет.

(no subject)

From: [identity profile] brewbuilder.livejournal.com - Date: 2009-09-02 07:21 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:10 pm (UTC) - Expand

(no subject)

From: [identity profile] brewbuilder.livejournal.com - Date: 2009-09-02 09:18 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:28 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:30 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:18 pm (UTC) - Expand
(deleted comment)

Date: 2009-09-02 06:56 pm (UTC)
From: [identity profile] dark-barker.livejournal.com
Почему двое? Как могут встать ещё двое, если ребро всегда принадлежит только двум граням, то есть делится только двумя муравьями. Или Вы про вершины?

Date: 2009-09-02 06:53 pm (UTC)
From: [identity profile] dark-barker.livejournal.com
Я думаю, тут надо отталкиваться от того, что по любому ребру муравьи ползут навстречу друг другу => на любом ребре в каждый момент времени не может быть больше одного муравья. Дальше пока интуиция работает, а язык - нет)

Date: 2009-09-02 07:19 pm (UTC)
From: (Anonymous)
ты был так близок...
в условии задачи четко обозначено что муравьи ползают по периметру ГРАНИ а не по РЕБРУ где они действительно могут встретиться.
так что муравьи не встретятся никогда.

(no subject)

From: [identity profile] maratochka.livejournal.com - Date: 2009-09-02 07:35 pm (UTC) - Expand

(no subject)

From: [identity profile] dark-barker.livejournal.com - Date: 2009-09-03 05:37 am (UTC) - Expand

(no subject)

From: (Anonymous) - Date: 2009-09-04 01:46 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:38 pm (UTC) - Expand

(no subject)

From: [identity profile] nihao-62.livejournal.com - Date: 2009-09-02 09:42 pm (UTC) - Expand

(no subject)

From: [identity profile] dark-barker.livejournal.com - Date: 2009-09-03 05:38 am (UTC) - Expand

Date: 2009-09-02 06:54 pm (UTC)
southwest: (pig_veil)
From: [personal profile] southwest
похоже я пока только могу решить для правильного тетраедра

и где только такие хорошо натренированные муравьи берутся ...

Date: 2009-09-02 06:56 pm (UTC)
From: [identity profile] ettaetta.livejournal.com
коэшн встретятся, если многогранник неправильный, то е. все грани неодинаковые. для меня круче будет вопрос ЧЕРЕЗ какое время они встретятся и что потом будут делать.

Date: 2009-09-02 08:38 pm (UTC)
From: [identity profile] gaius-julius.livejournal.com
возможно они встретятся и на правильном многограннике.

Date: 2009-09-02 07:01 pm (UTC)
From: [identity profile] grom20.livejournal.com
если все упростить и представить пирамиду, увидим, что один муравей будет двигаться навстречу остальным.

Date: 2009-09-02 08:08 pm (UTC)
From: (Anonymous)
Если размеры граней неидентичны, встреча двух муравьёв очевидна (и неизбежна) в силу того, что смежное ребро двух граней будет пройдено муравьями этих граней в разных направлениях.

/Grax

Date: 2009-09-02 08:18 pm (UTC)
From: (Anonymous)
постоянство скорости и многогранность неважны, можно рассмотреть планарный (или сферический, для наглядности) граф и добавлять в него ребра по одному. доказывается по индукции от количества граней. если граней две, муравьи, очевидно, встретятся, с какой бы переменной скоростью они не ходили. добавляем ребро. муравей, сидевший на разбитий грани, раздваивается. тогда либо (1) два новых муравья когда-нибудь окажутся на новой грани одновременно, и столкнутся; либо (2) они никогда не окажутся на новой грани одновременно — но тогда их можно заменить муравьем, ходящим по старой грани, и муравьем, ходящим исключительно взад-вперед по новому ребру. эту замену легче представить себе, чем объяснить словами; я могу объяснить, но получается довольно длинно.

опечатки

Date: 2009-09-02 08:22 pm (UTC)
From: (Anonymous)
тогда либо (1) два новых муравья когда-нибудь окажутся на *новой грани* одновременно, и столкнутся; либо (2) они никогда не окажутся на *новой грани* одновременно

следует читать:

тогда либо (1) два новых муравья когда-нибудь окажутся на *новом ребре* одновременно, и столкнутся; либо (2) они никогда не окажутся на *новом ребре* одновременно

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-02 09:18 pm (UTC) - Expand

(no subject)

From: (Anonymous) - Date: 2009-09-03 08:35 am (UTC) - Expand

Date: 2009-09-02 08:19 pm (UTC)
From: [identity profile] eisenberg.livejournal.com
Короче, всё это топология. Скорости и размеры ни при чём; пусть ползут как угодно, лишь бы назад не пятились. Многогранник - это тот же плоский граф. Разложим его на плоскости. Объединим две грани, оставив на них одного муравья (если для того графа существовал способ обхода, то и для этого будет; но тут могут понадобиться какие-то ещё сильные волшебные слова). И так пообъединяем все грани, пока не получится двугранник - одна грань, по которой ползут двое в разные стороны.
На торе бы им это удалось.

Date: 2009-09-02 08:23 pm (UTC)
From: (Anonymous)
ха, я первый успел!

(no subject)

From: [identity profile] eisenberg.livejournal.com - Date: 2009-09-02 08:29 pm (UTC) - Expand

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-02 09:20 pm (UTC) - Expand

(no subject)

From: [identity profile] eisenberg.livejournal.com - Date: 2009-09-02 10:53 pm (UTC) - Expand

(no subject)

From: [identity profile] timur0.livejournal.com - Date: 2009-09-02 09:28 pm (UTC) - Expand

Date: 2009-09-02 08:56 pm (UTC)
From: [identity profile] nec-p1us-u1tra.livejournal.com
Черт, про граф уже два человека сказали 8/

Date: 2009-09-02 09:12 pm (UTC)
From: [identity profile] nihao-62.livejournal.com
Просто они все ползут соседу (по общей грани) навстречу.

Date: 2009-09-02 09:16 pm (UTC)
From: [identity profile] armyakov.livejournal.com
Предположим, не встретятся.
Очевидно, что число ребер с муравьями = числу граней.
Можно показать (длинное, но простое доказательство), что у каждой вершины будет минимум два свободных ребра, т.е. число свободных ребер >= числа вершин (2*В/2).
Получаем неравенство для всех ребер:
Р >= В + Г.
Но для выпуклого многогранника справедлива теорема Эйлера:
В - Р + Г = 2.
Противоречие.

Date: 2009-09-02 09:32 pm (UTC)
From: [identity profile] timur0.livejournal.com
>>Можно показать (длинное, но простое доказательство), что у каждой вершины будет минимум два свободных ребра

неверно для тетраэдра

(no subject)

From: [identity profile] falcao.livejournal.com - Date: 2009-09-02 09:45 pm (UTC) - Expand

усиленный вариант

Date: 2009-09-02 09:20 pm (UTC)
From: [identity profile] falcao.livejournal.com
Справедлив намного более сильный факт. Скорости могут быть какими угодно, ползать муравьи могут неравномерно, могут в какие-то моменты снижать скорость до нуля, и так далее. Единственное условие, которое нужно наложить -- это чтобы при t стремящемся к бесконечности, количество обходов грани у каждого муравья тоже стремилось к бесконечности. (Движения типа "реверса", правда, не разрешены.)

В таком виде это есть не что иное как "лемма Клячко" из его замечательной работы, опубликованной в Comm. Algebra, а применена она была (совершенно неожиданным образом) к исследованию уравнений в группах!

Re: усиленный вариант

Date: 2009-09-02 09:31 pm (UTC)
From: [identity profile] avva.livejournal.com
Как интересно. А текста статьи у вас нет?

статьи

From: [identity profile] falcao.livejournal.com - Date: 2009-09-02 09:44 pm (UTC) - Expand

Re: статьи

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 01:16 am (UTC) - Expand

Re: статьи

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 01:27 am (UTC) - Expand

(no subject)

From: [personal profile] southwest - Date: 2009-09-03 02:17 am (UTC) - Expand

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 02:20 am (UTC) - Expand

(no subject)

From: [personal profile] southwest - Date: 2009-09-03 02:32 am (UTC) - Expand

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 02:41 am (UTC) - Expand

(no subject)

From: [identity profile] dubrick.livejournal.com - Date: 2009-09-03 06:41 am (UTC) - Expand

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 10:59 am (UTC) - Expand

(no subject)

From: (Anonymous) - Date: 2009-09-03 04:38 pm (UTC) - Expand

(no subject)

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 05:18 pm (UTC) - Expand

pdf

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 06:10 pm (UTC) - Expand

Re: pdf

From: [personal profile] southwest - Date: 2009-09-03 06:28 pm (UTC) - Expand

thanks!

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 06:43 pm (UTC) - Expand

Re: статьи

From: [identity profile] avva.livejournal.com - Date: 2009-09-03 11:01 am (UTC) - Expand

equations over groups

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 06:24 pm (UTC) - Expand

направления

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 06:06 pm (UTC) - Expand

Re: направления

From: [identity profile] biglebowsky.livejournal.com - Date: 2009-09-03 06:13 pm (UTC) - Expand

сверху и снизу

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 07:00 pm (UTC) - Expand

Re: сверху и снизу

From: [identity profile] biglebowsky.livejournal.com - Date: 2009-09-03 07:08 pm (UTC) - Expand

несоответствие

From: [identity profile] falcao.livejournal.com - Date: 2009-09-03 07:17 pm (UTC) - Expand

Моя ошибка

From: [identity profile] biglebowsky.livejournal.com - Date: 2009-09-03 07:25 pm (UTC) - Expand

Date: 2009-09-03 11:23 am (UTC)
From: (Anonymous)
На мысль, сразу приходит теорема о причесывании ежа.
эйлеровая характеристика для выпуклого многогранника равна двум...

Бесплатный секс комиксы

Date: 2012-03-28 07:13 pm (UTC)
From: (Anonymous)
Взрослые XXXNew блоге:
http://aed280e5.allanalpass.com
http://xaijo.com/land?new-df.html
http://blog.erolove.in/land?new-dk.html
http://amateur.erolove.in/pagefh.html

December 2025

S M T W T F S
  123 4 56
78 9 10 11 1213
1415 1617181920
21 22 23 24 2526 27
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 29th, 2025 11:38 am
Powered by Dreamwidth Studios