{"id":"W3083845621","doi":"10.23952/jano.3.2021.3.01","title":"The fun is finite: Douglas-Rachford and Sudoku puzzle – Finite termination and local linear convergence","year":2021,"lang":"en","type":"article","venue":"Journal of Applied and Numerical Optimization","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; Leverhulme Trust","keywords":"Convergence (economics); Mathematics; Applied mathematics; Calculus (dental); Computer science; Mathematical optimization; Economics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.003135393,0.0005689781,0.0008594745,0.0009655508,0.001217745,0.001214321,0.001027507,0.001445457,0.004134408],"category_scores_gemma":[0.01687446,0.0003491476,0.001056932,0.0005196654,0.003474399,0.002451923,0.002062537,0.002311981,0.0005407721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009697926,"about_ca_system_score_gemma":0.001165809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002459158,"about_ca_topic_score_gemma":0.001787042,"domain_scores_codex":[0.9989943,0.0004209349,0.00003785683,0.0001215798,0.0002758732,0.0001493797],"domain_scores_gemma":[0.9956269,0.002641219,0.0002644401,0.0004775976,0.0007369508,0.0002528926],"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.0001359805,0.0000458419,0.001216289,0.0001165187,0.00002025078,0.000367359,0.0004218859,0.1755868,0.003386189,0.7864621,0.002012275,0.03022857],"study_design_scores_gemma":[0.00002667367,0.00006508196,0.0002309514,0.00004228612,0.000006328909,0.0001129587,0.00008460512,0.7227205,0.002099307,0.2720268,0.00256629,0.00001827687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09800988,0.0005181507,0.8785492,0.0008868116,0.00009947747,0.00008081063,0.00004627835,0.000172456,0.021637],"genre_scores_gemma":[0.7420588,0.0003843306,0.2399601,0.0003688149,0.00006471326,0.0002957624,0.0001355227,0.0001900505,0.01654188],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004134408,"threshold_uncertainty_score":0.01658177,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004666684971510855,"score_gpt":0.1888191753004689,"score_spread":0.1841524903289581,"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."}}