2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 В ожидании
Сообщение07.11.2016, 23:00 


11/07/16
801
Уважаемые пользователи, я в ожидании содержательных и конструктивных ответов.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 13:28 
Заслуженный участник


10/01/16
2315
Markiyan Hirnyk
А что Вам не нравится в предложенном ( с учетом поправок) решении?

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 18:51 


11/07/16
801
DeBill в сообщении #1167116 писал(а):
Markiyan Hirnyk
А что Вам не нравится в предложенном ( с учетом поправок) решении?

Вышеприведенные тексты не соответствуют стандартам, предъявляемым к математическим доказательствам.
Написав и опубликовав пару десятков математических статей (см. неполный перечень https://zbmath.org/authors/?s=0&q=hirnyk ), будучи рецензентом нескольких математических журналов и референтом для Mathematical Review и прооппонировав десяток диссертаций, полагаю, что имею представление об этом. Теперь конкретно.
DeBill в сообщении #1163943 писал(а):
grizzly в сообщении #1163678 писал(а):
"делит ... на не более чем ...". Контрпример -- два отрезка, лежащие на одной прямой.

Да, придется...
grizzly в сообщении #1163678 писал(а):
отрезок при продолжении попадает в вершину другого отрезка)

Ну и хрен с ним: один из них - продолжим дале.
grizzly в сообщении #1163678 писал(а):
с учётом кратности совпадающих вершин,

А вот это неприятно. Лучше - как выше, избечь их тупым продолжением одного.
Или так: можно заменить каждый отрезок чуть большим интервалом - с сохранением непересекаемости их, и гипотетическом препятствиением дружбе точек. Тогда полученная система будет устойчива к малым возмущениям. "Пошевелим" ее - и избавимся от всех нетипичных ситуевин.

grizzly в сообщении #1163960 писал(а):
DeBill в сообщении #1163943 писал(а):
Ну и хрен с ним: один из них - продолжим дале.
Их может несколько сходиться, результат картинки будет сколько-то зависеть от порядка в котором мы будем продолжать. Ну его. Следующее предложение выглядит намного лучше:
DeBill в сообщении #1163943 писал(а):
Или так: можно заменить каждый отрезок чуть большим интервалом - с сохранением непересекаемости их, и гипотетическом препятствиением дружбе точек. Тогда полученная система будет устойчива к малым возмущениям. "Пошевелим" ее - и избавимся от всех нетипичных ситуевин.
Да, это убеждает.

А что с переходом в $\mathbb R^3$? Там ведь всё аналогично, если резать недоплоскостями -- и тоже $n+1$? А рассуждение с формулой Эйлера там применимо? (я просто не соображу, к чему её применить).

-- 28.10.2016, 23:43 --

А, ну да, в любом случае не нужно там будить Эйлера; просто считать.

Во-первых, разбиение плоскости зависит от порядка продолжения отрезков. Во-вторых, мне неясно, как применяется формула Эйлера. Во-третьих, употребление неопределенного понятия "недоплоскости" вызывает по меньшей мере недоумение и не производит положительного впечатления о многом.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 21:35 
Заслуженный участник


10/01/16
2315
Markiyan Hirnyk в сообщении #1167231 писал(а):
Во-первых, разбиение плоскости зависит от порядка продолжения отрезков.

А кто спорит? Зато кол-во областей - не зависит.
Markiyan Hirnyk в сообщении #1167231 писал(а):
мне неясно, как применяется формула Эйлера

Да так и применяется: вершины минус ребра плюс грани равно два...
Markiyan Hirnyk в сообщении #1167231 писал(а):
Во-третьих, употребление неопределенного понятия "недоплоскости"

А это вообще из другой оперы: обсуждался трехмерный аналог задачи.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 21:42 


11/07/16
801
Извините, мне нечего обсуждать с Вами в таком стиле.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 22:11 
Заслуженный участник


10/01/16
2315

(Оффтоп)

Markiyan Hirnyk в сообщении #1167324 писал(а):
мне нечего обсуждать с Вами в таком стиле.

В "таком" - это когда на все Ваши три конкретных замечания даются аргументированные ответы, показывающие, что замечания эти - не по существу? Или Вам надо мой список работ? Можно...

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение08.11.2016, 22:25 
Заслуженный участник
Аватара пользователя


09/09/14
6328

(Markiyan Hirnyk)

Markiyan Hirnyk в сообщении #1167231 писал(а):
Во-третьих, употребление неопределенного понятия "недоплоскости" вызывает по меньшей мере недоумение и не производит положительного впечатления о многом.
Ваше "во-третьих" тоже, знаете ли, не блещет :D

Как бы там ни было, и мне с Вами не по пути.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение09.11.2016, 05:13 


20/03/14
12041
 i  Markiyan Hirnyk
Markiyan Hirnyk в сообщении #1167231 писал(а):
Вышеприведенные тексты не соответствуют стандартам, предъявляемым к математическим доказательствам.
И не обязаны. Это форум, а не реферируемый журнал или монография. Если Вы хотите получать ответ на Ваш вопрос в соответствии со стандартами выверенных публикаций (а не существом вопроса), Вам стоит задуматься, к тому ли источнику Вы обратились в его поисках.

 Профиль  
                  
 
 Доказательства и опровержения
Сообщение13.11.2016, 09:58 


11/07/16
801
Имре Лакатос в книге "Доказательства и опровержения. Как доказываются теоремы" (см. http://nkozlov.ru/library/other/d1334/?resultpage=1#.WCgOB4yhpHw ), в частности, убедительно демонстрирует опасность поверхностных рассуждений.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение13.11.2016, 10:23 
Заслуженный участник
Аватара пользователя


09/09/14
6328
Markiyan Hirnyk в сообщении #1168505 писал(а):
Имре Лакатос ... убедительно демонстрирует опасность поверхностных рассуждений.
Поверхностность рассуждений сложно оценить путём поверхностного их (не)понимания и поверхностных уточняющих вопросов. Здесь можно было бы долго обсуждать сложности формализации геометрически-наглядных понятий (между, внутри и т.п.). Только начинать такие обсуждения лучше не с задачи, в постановке которой точки "видят друг друга". Или Вы нарочно хотели задать неформальный тон обсуждению, чтобы потом "сыграть на контрастах"?

 Профиль  
                  
 
 Цитата
Сообщение13.11.2016, 10:36 


11/07/16
801
Цитата:
которые "видят одна другую", т. е. соединяющий их отрезок не пересекает заданных отрезков и остальных точек

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение13.11.2016, 12:44 
Заслуженный участник


27/04/09
28128
И что тут недоопределённого?

UPD. Я неправильно понял источник цитаты.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение13.11.2016, 12:55 
Заслуженный участник
Аватара пользователя


09/09/14
6328
arseniiv
Ну это мы играм в пинг-понг придирок. Здесь в другом вопрос. Можно ли засчитать предложенное решение (с учётом обсуждения)?

Моё мнение:
На любой олимпиаде это решение было бы засчитано (при соответствующем уровню олимпиады оформлению). А если пытаться копать очень глубоко, то да -- могут возникать вопросы, но вряд ли это были бы вопросы ТС.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение26.11.2017, 17:34 


11/07/16
801
См. эту тему на MathOverflow.

 Профиль  
                  
 
 Re: Задача по комбинаторной геометрии
Сообщение26.11.2017, 21:15 


18/05/15
679
Markiyan Hirnyk в сообщении #1163370 писал(а):
В плоскости задано $n$ попарно непересекающихся замкнутых отрезков и $n+2$ различные точки вне этих отрезков ($n$ - натуральное число). Доказать, что среди заданных точек можно выбрать две точки, которые "видят одна другую", т. е. соединяющий их отрезок не пересекает заданных отрезков и остальных точек.


А можно мне узнать, где именно ошибка в моих рассуждениях? Мне задача показалась уж слишком простой, особенно в контексте того, что ею заинтересовался Концевич. Есть $n+2$ точки. Количество отрезков с концами в этих точках равно $$N=\frac{(n+2)(n+1)}{2}.$$ Для любого $n \ge 1$ $$N > n.$$ Другими словами, всегда найдется пара точек, которые видят друг друга

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 40 ]  На страницу Пред.  1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group