├── .gitignore ├── README.md └── code ├── 2d_sat.py ├── SR_fill.py ├── __init__.py ├── cjr ├── __init__.py ├── models │ ├── consts.py │ ├── dim.py │ ├── lin_thres.py │ ├── low_rank.py │ ├── senti_adjust.py │ ├── unif.py │ └── unionfind.py ├── synth │ ├── __init__.py │ ├── consts.py │ └── generate_synth_data.py └── utils │ ├── __init__.py │ ├── consts.py │ ├── twokenize.py │ ├── unionfind.py │ └── utils.py ├── data ├── synth.csv ├── synth.csv1 ├── synth_cossim.csv ├── synth_cossim_K2.csv ├── synth_thres_cossim.csv ├── synth_thres_fixed.csv ├── synth_thres_fixed.csv1 ├── synth_thres_fixed.truth.csv1 ├── synth_thres_fixed_K2.csv ├── synth_thres_rand.csv └── synth_thres_rand_K2.csv ├── dim_run.py ├── experiments ├── sbatch_1BMC_job.sh ├── sbatch_1BMC_run.py ├── sbatch_2D_sat_job.sh ├── sbatch_2D_sat_run.py ├── sbatch_SR_job.sh ├── sbatch_SR_loo_job.sh ├── sbatch_SR_loo_run.py ├── sbatch_SR_run.py ├── sbatch_Z3_job.sh ├── sbatch_Z3_job_embed.sh ├── sbatch_Z3_job_guess.sh ├── sbatch_Z3_num_job.sh ├── sbatch_Z3_num_run.py ├── sbatch_Z3_run.py ├── sbatch_Z3_run_embed.py ├── sbatch_Z3_run_guess.py ├── sbatch_low_rank_UV_tuning_job.sh ├── sbatch_low_rank_UV_tuning_run.py ├── sbatch_low_rank_job.sh ├── sbatch_low_rank_loo_job.sh ├── sbatch_low_rank_loo_run.py ├── sbatch_low_rank_run.py ├── sbatch_low_rank_tuning_job.sh ├── sbatch_low_rank_tuning_run.py ├── sbatch_soft_impute_job.sh └── sbatch_soft_impute_run.py ├── low-rank-completion.py ├── matrix-Z3-embed.py ├── num_sat.py ├── requirements.txt ├── sample_2d_sat.in.csv ├── soft-impute.py ├── z3_collate_num.py ├── z3_collate_sat.py ├── z3_fill.py └── z3_find.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/README.md -------------------------------------------------------------------------------- /code/2d_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/2d_sat.py -------------------------------------------------------------------------------- /code/SR_fill.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/SR_fill.py -------------------------------------------------------------------------------- /code/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/cjr/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/cjr/models/consts.py: -------------------------------------------------------------------------------- 1 | ../utils/consts.py -------------------------------------------------------------------------------- /code/cjr/models/dim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/models/dim.py -------------------------------------------------------------------------------- /code/cjr/models/lin_thres.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/models/lin_thres.py -------------------------------------------------------------------------------- /code/cjr/models/low_rank.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/models/low_rank.py -------------------------------------------------------------------------------- /code/cjr/models/senti_adjust.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/models/senti_adjust.py -------------------------------------------------------------------------------- /code/cjr/models/unif.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/models/unif.py -------------------------------------------------------------------------------- /code/cjr/models/unionfind.py: -------------------------------------------------------------------------------- 1 | ../utils/unionfind.py -------------------------------------------------------------------------------- /code/cjr/synth/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/cjr/synth/consts.py: -------------------------------------------------------------------------------- 1 | ../utils/consts.py -------------------------------------------------------------------------------- /code/cjr/synth/generate_synth_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/synth/generate_synth_data.py -------------------------------------------------------------------------------- /code/cjr/utils/__init__.py: -------------------------------------------------------------------------------- 1 | from .utils import * 2 | -------------------------------------------------------------------------------- /code/cjr/utils/consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/utils/consts.py -------------------------------------------------------------------------------- /code/cjr/utils/twokenize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/utils/twokenize.py -------------------------------------------------------------------------------- /code/cjr/utils/unionfind.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/utils/unionfind.py -------------------------------------------------------------------------------- /code/cjr/utils/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/cjr/utils/utils.py -------------------------------------------------------------------------------- /code/data/synth.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth.csv -------------------------------------------------------------------------------- /code/data/synth.csv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth.csv1 -------------------------------------------------------------------------------- /code/data/synth_cossim.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_cossim.csv -------------------------------------------------------------------------------- /code/data/synth_cossim_K2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_cossim_K2.csv -------------------------------------------------------------------------------- /code/data/synth_thres_cossim.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_cossim.csv -------------------------------------------------------------------------------- /code/data/synth_thres_fixed.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_fixed.csv -------------------------------------------------------------------------------- /code/data/synth_thres_fixed.csv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_fixed.csv1 -------------------------------------------------------------------------------- /code/data/synth_thres_fixed.truth.csv1: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/data/synth_thres_fixed_K2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_fixed_K2.csv -------------------------------------------------------------------------------- /code/data/synth_thres_rand.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_rand.csv -------------------------------------------------------------------------------- /code/data/synth_thres_rand_K2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/data/synth_thres_rand_K2.csv -------------------------------------------------------------------------------- /code/dim_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/dim_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_1BMC_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_1BMC_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_1BMC_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_1BMC_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_2D_sat_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_2D_sat_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_2D_sat_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_2D_sat_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_SR_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_SR_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_SR_loo_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_SR_loo_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_SR_loo_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_SR_loo_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_SR_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_SR_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_job_embed.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_job_embed.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_job_guess.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_job_guess.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_num_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_num_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_num_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_num_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_run_embed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_run_embed.py -------------------------------------------------------------------------------- /code/experiments/sbatch_Z3_run_guess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_Z3_run_guess.py -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_UV_tuning_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_UV_tuning_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_UV_tuning_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_UV_tuning_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_loo_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_loo_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_loo_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_loo_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_tuning_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_tuning_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_low_rank_tuning_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_low_rank_tuning_run.py -------------------------------------------------------------------------------- /code/experiments/sbatch_soft_impute_job.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_soft_impute_job.sh -------------------------------------------------------------------------------- /code/experiments/sbatch_soft_impute_run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/experiments/sbatch_soft_impute_run.py -------------------------------------------------------------------------------- /code/low-rank-completion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/low-rank-completion.py -------------------------------------------------------------------------------- /code/matrix-Z3-embed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/matrix-Z3-embed.py -------------------------------------------------------------------------------- /code/num_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/num_sat.py -------------------------------------------------------------------------------- /code/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/requirements.txt -------------------------------------------------------------------------------- /code/sample_2d_sat.in.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/sample_2d_sat.in.csv -------------------------------------------------------------------------------- /code/soft-impute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/soft-impute.py -------------------------------------------------------------------------------- /code/z3_collate_num.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/z3_collate_num.py -------------------------------------------------------------------------------- /code/z3_collate_sat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/z3_collate_sat.py -------------------------------------------------------------------------------- /code/z3_fill.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/z3_fill.py -------------------------------------------------------------------------------- /code/z3_find.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Networks-Learning/discussion-complexity/HEAD/code/z3_find.py --------------------------------------------------------------------------------