В последнее время я играл с теоремой Рамси для R (5,5). Здесь вы можете увидеть некоторые примеры предыдущих попыток: http://zacharymaril.com/thoughts/constructionGraph.html Сущность: найти все k4 в графе/его дополнении, а затем соединить другую точку таким образом, чтобы не было сформировано ни одного k5 (я знаю с одним типом выбора, математически становится невероятным, что вы получите прошлое 14. Но есть способы вокруг этого выбора, и я получил его, чтобы он работал до 22-23, не удаляя мой браузер.)
С новыми идеями я начал играть с хранением информации от партии до партии. Текущий график построения проходит и ищет все k4 в графе каждый раз, когда он видит график. Я думал, что это было излишним, так как k4 останется прежним на предыдущем графике, и только новые k4 могут появиться в соединениях, созданных добавлением новой точки. Если вы сохраняете предыдущий k4 каждый раз, когда вы их находите, а затем выполняете поиск только в границах границ, которые были недавно созданы, вы уменьшаете количество сравнений, которые вы должны выполнить (n 4) до (n-1 3).
Я сделал попытку реализовать эту последнюю ночь и заставил ее работать без очевидных ошибок. Хотя я собираюсь вернуться после этого и расчесывать его для любых проблем, новый метод делает программу намного медленнее. Раньше программа только удваивалась с точки зрения времени, необходимого для выполнения всех сравнений. Теперь, это происходит в том, что выглядит факториальным временем. Я вернулся и попытался выявить любые очевидные ошибки, но мне интересно, могла ли новая зависимость от памяти полностью замедлить работу.
Итак, с этим длинным вступлением, мой главный вопрос заключается в том, как память и скорость программы связаны с веб-браузером, таким как хром? Я замедляю программу, сохраняя кучу маленьких графиков вокруг объектов JSON? Разве не важно, сколько памяти я занимаю с точки зрения скорости? Где я могу узнать больше о связи между ними? Есть ли книга, которая могла бы лучше объяснить это?
Спасибо за любые советы или ответы. Извините за всю длину этого: я все еще хорошенько похоронен в этой идее, и ее трудно объяснить в ближайшее время.
Изменить: Вот два веб-страницы, которые показывают каждый алгоритм, С сохранением предыдущих находок: http://zacharymaril.com/thoughts/constructionGraph.html
Без сохранения предыдущей находки: http://zacharymaril.com/thoughts/Expanding%20Frontier/expandingFrontier.html
Оба они лучше всего просматриваются в Chrome. Это браузер, который я использовал для этого, и если вы откроете панель dev с помощью ctrl shift я и введите "times", вы можете увидеть коллекцию всех времен и до сих пор.