Главная / Дневники / Александр Шкотин
22.09.2017 21:58
Дневник Александра Шкотина
Обо мне
Мои друзья пишут
Избранное
Календарь
09.07.2011 12:53
Об одном алгоритме разбиения графа на связные компоненты
Приводится алгоритм который за один проход по стрелкам строит множество узлов и приписывает каждый узел его связной компоненте.
Прелесть этого алгоритма в том что он не ходит вдоль стрелок (или дуг).
Оказалось что это не нужно для разбиения множества узлов на связные компоненты!

Комментарии: 1 | Написать комментарий
17.07.2010 12:21
Движение заряженной броуновской частицы в слабом электрическом поле
Эта задачка возникла у меня на Физтехе в 1972 г.
Комментарии: 1 | Написать комментарий
27.05.2010 08:26
Вертикальный тоннель

Посмотрел очередную передачу про рытьё тоннелей - на этот раз в Исландии.
И вспомнил идею о сверхглубокой скважине: если сделать вертикальный TBM (http://en.wikipedia.org/wiki/Tunnel_boring_machine), что я думаю вполне возможно, то тоннель можно тихой сапой бурить вертикально. Делая промежуточные площадки, лифт...
И бурить километров на 100 - ну пока деньги не кончаться!
Вот это будет сверх глубокая "скважина".
Теоретически ограничений по глубине нет.
По средне-оптимистическим оценкам за год будет километров 20:-)
Комментарии: 1 | Написать комментарий
09.07.2008 12:20
Об одном критерии леворекурсивности контекстно-свободной грамматики
Определение: КСГ леворекурсивна если в ней существует леворекурсивный нетерминал.
Определение: нетерминал N1 леворекурсивен, если существует правило N1:N1q1, или существует вывод N1=>+N1q2, где q1, q2 — цепочки символов. 

Проблема: непосредственно в определении предлагается рассмотреть все возможные цепочки, выводимые из N1, и посмотреть встретится ли хотя бы в одной из них N1 в начале. В общем случае цепочек бесконечно много и просмотреть их все не представляется возможным. 

Критерий: пусть КСГ является КСГ «без e-правил». Построим ориентированный помеченный граф: 

- Узлы — ровно столько сколько нетерминалов в КСГ. Каждый узел помечен своим нетерминалом. 

- Стрелка проводится из N1 в N2 тогда и только тогда, когда существует правило N1:N2q. Для удобства стрелка метится этим правилом. 

Усмотрение: КСГ леворекурсивна тогда и только тогда, когда у графа есть цикл (возможно петля). 

Обоснование: 

- если существует вывод, то каждое применённое правило имеет вид N1:N2q, т.к. у нас нет e-правил. Для каждого такого правила на графе проведена стрелка. Таким образом вывод пройдёт по графу и приведёт нас к исходному узлу, т.е. мы получим цикл. 

- наоборот: если на графе есть цикл, то выписав правила находящиеся на метках стрелок (проходя их от начала к концу цикла) мы получим подстановки самого левого символа цепочки, которые дадут в результате опять N1 в начале.
Написать комментарий
23.01.2008 10:50
Система наук
Надо бы организовать портал в котором научные знания излагались бы коллективно, но систематически и логически взаимосвязанно, обоснованно и доказательно.
Комментарии: 1 | Написать комментарий
на 20 записей назад на 20 записей вперед
Архив | Дневники | Новости | Календарь
Вести дневник и оставлять комментарии могут только зарегистрированные пользователи
Логин:
Пароль:
Зарегистрироваться
Последние сообщения
Основные положения
Правила
Всего дневников: 764

Пользователей
в системе: 3386

Всего записей
и комментариев: 59465

Записей и комментариев
за последние 24 часа: 0
 ПОИСК ПОСТОВ
  по автору:
  по тексту:
 АКТИВНЫЕ ДНЕВНИКИ
 Все дневники  
e-mail: admin@arxiv.su       О проекте       RSS       Дизайны
©2009-2017 Архив. Все права защищены
Designed by tanyu6ka