{"id":"W2004012902","doi":"10.1145/780542.780629","title":"A new multilayered PCP and the hardness of hypergraph vertex cover","year":2003,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":68,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Environment and Climate Change Canada","keywords":"Hypergraph; Cover (algebra); Vertex (graph theory); Vertex cover; Edge cover; Computer science; Combinatorics; Mathematics; Algorithm; Theoretical computer science; Engineering; Approximation algorithm; Graph; Mechanical engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002285168,0.00008330748,0.0001469963,0.00004759748,0.00008382282,0.00006353814,0.0004293012,0.00002713932,0.00008354842],"category_scores_gemma":[0.00005190882,0.0000514494,0.00006965679,0.0003122126,0.0001345666,0.0001594736,0.0001128623,0.00006612064,0.000009608031],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003087927,"about_ca_system_score_gemma":0.00004432427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001476177,"about_ca_topic_score_gemma":0.00001297584,"domain_scores_codex":[0.9993045,0.00007084749,0.0001382745,0.0001882035,0.0001628861,0.0001352459],"domain_scores_gemma":[0.9993096,0.0001557897,0.00003980799,0.0003964955,0.00003734374,0.00006095475],"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.000009822302,0.00002668429,0.0003165975,0.000005776435,0.00002233363,0.000001132913,0.0005224083,0.00001451422,0.0001001813,0.9738667,0.003268861,0.02184499],"study_design_scores_gemma":[0.01387888,0.0002094877,0.01843581,0.00006921612,0.00004020129,0.0001211587,0.0003067761,0.2789227,0.01369592,0.5377581,0.1357245,0.0008373598],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01561815,0.0005922648,0.9585854,0.0011013,0.0007556942,0.0002404704,0.00000178431,0.00008841887,0.02301655],"genre_scores_gemma":[0.9019493,0.00004867494,0.09549946,0.0004803888,0.00001139071,0.000003842408,1.330514e-7,0.000004075061,0.002002734],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8863311,"threshold_uncertainty_score":0.2098045,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01256467607444679,"score_gpt":0.2133160636748331,"score_spread":0.2007513876003863,"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."}}