{"id":"W96496641","doi":"","title":"Black-White Pebbling is PSPACE-Complete","year":2007,"lang":"en","type":"article","venue":"Electronic colloquium on computational complexity","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"PSPACE; PH; White (mutation); Completeness (order theory); Complexity class; Computational complexity theory; Computation; Discrete mathematics; Mathematics; Bounded function; Structural complexity theory; Combinatorics; Computer science; Model of computation; Theoretical computer science; Time complexity; Algorithm; Quantum complexity theory; Quantum computer; Physics","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.001182272,0.001174582,0.00172849,0.0006343821,0.002581083,0.005760697,0.001619571,0.002916395,0.0110879],"category_scores_gemma":[0.008331487,0.000848594,0.001662618,0.001434011,0.003951614,0.007130048,0.003480246,0.005326285,0.002013136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002208555,"about_ca_system_score_gemma":0.003689123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004269189,"about_ca_topic_score_gemma":0.005100895,"domain_scores_codex":[0.9973236,0.0003885104,0.0001383047,0.0006821796,0.0007582104,0.0007093254],"domain_scores_gemma":[0.9903898,0.007394501,0.00051912,0.0005582836,0.0006525005,0.000485824],"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.000723997,0.0005478698,0.001472099,0.001129784,0.0001934923,0.001100904,0.0008485978,0.1117038,0.01505316,0.7944711,0.02564896,0.04710615],"study_design_scores_gemma":[0.0001269119,0.00004979096,0.0002083492,0.00002811138,0.00002587071,0.000235538,0.0001286449,0.06689877,0.004000353,0.9219548,0.006316606,0.00002631211],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.273923,0.001899216,0.5191548,0.01314044,0.0005238249,0.0006780915,0.002597466,0.002356827,0.1857263],"genre_scores_gemma":[0.8746204,0.002001528,0.07776812,0.002511322,0.0003366916,0.0004941371,0.003113068,0.0004733257,0.03868152],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0110879,"threshold_uncertainty_score":0.03709269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03925007688016794,"score_gpt":0.290956658325877,"score_spread":0.2517065814457091,"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."}}