{"id":"W4415963533","doi":"10.48550/arxiv.2510.17344","title":"On Algorithmic Meta-Theorems for Solution Discovery: Tractability and Barriers","year":2025,"lang":"","type":"preprint","venue":"ArXiv.org","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Parameterized complexity; Treewidth; Graph; Security token; Complement (music); Transformation (genetics); Computational complexity theory","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02188561,0.003661725,0.003519911,0.004645611,0.003237477,0.01300602,0.007183085,0.005299496,0.01138943],"category_scores_gemma":[0.09419727,0.002608407,0.01031652,0.005320564,0.01114585,0.02919742,0.01007954,0.01856804,0.001863824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008569144,"about_ca_system_score_gemma":0.006445833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002931131,"about_ca_topic_score_gemma":0.003317303,"domain_scores_codex":[0.9781049,0.008492772,0.001631395,0.005128058,0.004880914,0.001762024],"domain_scores_gemma":[0.831885,0.1479541,0.003577985,0.01201892,0.003224447,0.001339497],"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.0001745457,0.0001953611,0.001321977,0.0009511191,0.0002606842,0.0001953548,0.0005052263,0.07110666,0.001078093,0.8928443,0.004026831,0.02733993],"study_design_scores_gemma":[0.00005578771,0.00005697245,0.0001355337,0.0001785062,0.00008736363,0.000108316,0.00009501012,0.09930225,0.001051221,0.8945427,0.004353229,0.00003309864],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01481494,0.002150556,0.9530506,0.008404498,0.0001558349,0.0004070331,0.0007968618,0.0009503171,0.01926941],"genre_scores_gemma":[0.2879653,0.003607522,0.6883873,0.003995501,0.0008785914,0.002666237,0.002538346,0.001525464,0.008435708],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02188561,"threshold_uncertainty_score":0.1157435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0720055849767724,"score_gpt":0.3389098962237528,"score_spread":0.2669043112469804,"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."}}