{"id":"W2951483392","doi":"10.48550/arxiv.1404.0967","title":"Binary pattern tile set synthesis is NP-hard","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced biosensing and bioanalysis techniques","field":"Biochemistry, Genetics and Molecular Biology","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Mathematical proof; Lemma (botany); Conjecture; Computer science; Set (abstract data type); Binary number; Field (mathematics); Combinatorial proof; Code (set theory); Tile; Algorithm; Computer-assisted proof; Discrete mathematics; Automated theorem proving; Theoretical computer science; Combinatorics; Mathematics; Programming language; Pure mathematics; Arithmetic","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009009925,0.0009094866,0.001350038,0.0005614798,0.001475343,0.004654326,0.001706626,0.001705968,0.009017117],"category_scores_gemma":[0.005054964,0.00095036,0.001833575,0.001210146,0.002210455,0.005045854,0.001932155,0.004344279,0.001710719],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001900799,"about_ca_system_score_gemma":0.001932656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001706671,"about_ca_topic_score_gemma":0.002542515,"domain_scores_codex":[0.998543,0.0002381903,0.00008585554,0.000434957,0.0004336455,0.0002643213],"domain_scores_gemma":[0.9924341,0.006444301,0.000316313,0.0004078186,0.0002559813,0.0001413613],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007165993,0.0006423978,0.003293753,0.002797071,0.000319188,0.0008891489,0.0007193231,0.2468676,0.01963246,0.497061,0.07624642,0.150815],"study_design_scores_gemma":[0.0001589268,0.00009483314,0.0006583013,0.0001209482,0.00007470626,0.0005552198,0.0003089725,0.204598,0.009446238,0.7570297,0.02691171,0.00004252265],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2436143,0.005120283,0.5502611,0.02702151,0.001038165,0.0004709912,0.006180866,0.004182107,0.1621106],"genre_scores_gemma":[0.7546791,0.00472771,0.1977237,0.004004807,0.001046215,0.0007287858,0.00681238,0.00100367,0.02927371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009017117,"threshold_uncertainty_score":0.03016526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04130126146775882,"score_gpt":0.206623919540413,"score_spread":0.1653226580726542,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}