{"id":"W4290017147","doi":"10.1007/978-3-031-13502-6_7","title":"PSPACE-Completeness of Reversible Deterministic Systems","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"PSPACE; Gadget; Mathematical proof; Completeness (order theory); Computer science; Mathematics; Discrete mathematics; Algorithm; Computational complexity theory","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.001308003,0.0006934454,0.001122399,0.0005616573,0.002098768,0.003145155,0.002198833,0.001367727,0.0119515],"category_scores_gemma":[0.005008454,0.0009070202,0.001399177,0.001102227,0.003060664,0.005110436,0.002405732,0.004796098,0.001382841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002488154,"about_ca_system_score_gemma":0.002699915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003973887,"about_ca_topic_score_gemma":0.004489205,"domain_scores_codex":[0.998552,0.0003420789,0.00008451629,0.0003006863,0.0004727153,0.0002480443],"domain_scores_gemma":[0.9954656,0.003352477,0.0001042875,0.0005686091,0.000378619,0.0001303869],"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.0001398256,0.000076539,0.0002093064,0.0003459881,0.0000430902,0.0001165315,0.0003806189,0.04343994,0.003200485,0.9236277,0.005000963,0.023419],"study_design_scores_gemma":[0.00004223203,0.00001322977,0.00009083053,0.00001720174,0.00001036534,0.00003057672,0.0000461538,0.02279059,0.002187026,0.9701569,0.004606476,0.000008594337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.164158,0.002603223,0.5118164,0.006811425,0.0003525307,0.0003790031,0.002907222,0.00205322,0.308919],"genre_scores_gemma":[0.8877431,0.001499865,0.04617688,0.0007440242,0.0002114463,0.0003895348,0.002139562,0.0004041634,0.06069145],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0119515,"threshold_uncertainty_score":0.03998178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02679919213695817,"score_gpt":0.2471074298992348,"score_spread":0.2203082377622766,"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."}}