Sergey Tsivin sergeytsivin

Идеи решений

Все четыре задачи в общем случае имеют экспоненциальную сложность. Решение с ветвлением и отсечениями не меняет худшую асимптотику, но позволяет не посещать значительную часть дерева перебора.

Для каждой вершины хранится битовая маска её соседей. Ещё одна маска описывает вершины, которые остаются доступными в текущем состоянии. Пересечение множеств становится побитовым AND, удаление — AND с инвертированной маской, а размер множества вычисляется подсчётом установленных битов.

Ветвление и отсечения на графах

Набор рассчитан на один-два семинара. Задачи расположены по возрастанию сложности реализации. Во всех задачах вершины нумеруются от 1 до n, граф неориентированный, петель нет, а кратные рёбра разрешены. Повторное ребро не меняет условие конфликта и при чтении просто устанавливает уже установленный бит.

Ограничения подобраны так, чтобы множество вершин и списки смежности можно было хранить в uint64_t. При этом полный перебор всех 2^n подмножеств не

	i386 : iPhone Simulator
	x86_64 : iPhone Simulator
	iPhone1,1 : iPhone
	iPhone1,2 : iPhone 3G
	iPhone2,1 : iPhone 3GS
	iPhone3,1 : iPhone 4
	iPhone3,2 : iPhone 4 GSM Rev A
	iPhone3,3 : iPhone 4 CDMA
	iPhone4,1 : iPhone 4S
	iPhone5,1 : iPhone 5 (GSM)

	typedef DataItemTransformer = Object Function(Map<String, dynamic> item);

	class HasNext<T extends Object> {
	const HasNext({
	this.hasNext,
	this.data,
	});

	HasNext.fromMap(
	Map<String, dynamic> map, DataItemTransformer dataItemTransformer)


	brew install freetds@0.91

	If you have already installed freetds1.00 you will have to unlink it and link 0.91 instead:

	brew unlink freetds

	brew link --force freetds@0.91

	version: '2'
	services:
	elasticsearch:
	build: elasticsearch
	ports:
	- '127.0.0.1:9200:9200'
	environment:
	- xpack.security.enabled=false
	kibana:
	image: docker.elastic.co/kibana/kibana:5.6.7

	# Ветвление и отсечения на графах

	Набор рассчитан на один-два семинара. Задачи расположены по возрастанию
	сложности реализации. Во всех задачах вершины нумеруются от 1 до `n`, граф
	неориентированный, петель нет, а кратные рёбра разрешены. Повторное ребро не
	меняет условие конфликта и при чтении просто устанавливает уже установленный
	бит.

	Ограничения подобраны так, чтобы множество вершин и списки смежности можно
	было хранить в `uint64_t`. При этом полный перебор всех `2^n` подмножеств не