spaanse

import pandas as pd
import sys

class union_find:
	def __init__(self, n):
	    self.parent = [-1 for i in range(n)]
	def find(self, x):
		if self.parent[x] < 0:
			return x
		else:

spaanse

from z3 import *
import random

WIDTH = 6
HEIGHT = 6

grid = [[random.randint(0,1) for c in range(WIDTH)] for r in range(HEIGHT)]

hinted = [[Int("(h {},{})".format(r,c)) for c in range(WIDTH)] for r in range(HEIGHT)]
contributes = [[Int("(c {},{})".format(r,c)) for c in range(WIDTH)] for r in range(HEIGHT)]

spaanse

0 1 2 3 4 :
0 1 2 4 3 : 0 1 2 0 2 1 2 0 2 1 2 1
0 1 3 2 4 : 0 1 2 0 2 1 0 1 2 0 2 1 2 1
0 1 3 4 2 : 0 1 2 1 2 1 0 1 2 1 2 1
0 1 4 2 3 : 0 1 2 0 2 0 1 2 0 2 1 2 1
0 1 4 3 2 : 0 2 0 1 0 1 2 1 0 2 1 2 1
0 2 1 3 4 : 0 2 0 2 1 2 1 0 1 2 1 2 1
0 2 1 4 3 : 0 2 0 1 2 1 2 0 1 0 2 1 2 1
0 2 3 1 4 : 0 1 2 0 1 0 1 0 2 1 0 2 1 2 1
0 2 3 4 1 : 0 2 1 2 0 2 0 2 1 2 1

spaanse

#include <bits/stdc++.h>
using namespace std;

typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> ii;
typedef vector<ii> vii;
typedef int64_t ll;

struct state {

spaanse

#include <bits/stdc++.h>
using namespace std;

typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> ii;
typedef vector<ii> vii;
typedef int64_t ll;

int main() {

spaanse

Keybase proof

I hereby claim:

• I am spaanse on github.
• I am jfiret (https://keybase.io/jfiret) on keybase.
• I have a public key ASBiCGh3hAPNK9suIW_kHL0RIQM6Focc1uj7xXTZh2o2rwo

To claim this, I am signing this object: