{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001885265,0.00009297321,0.0001548246,0.00003690639,0.0001421619,0.00006694642,0.00004132853,0.00006468025,0.00002476565],"category_scores_gemma":[0.00003183141,0.00006876345,0.00002550845,0.0001327205,0.00006447195,0.000118651,0.00002002642,0.0001401636,9.636116e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009419461,"about_ca_system_score_gemma":0.000009677971,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.563584e-7,"about_ca_topic_score_gemma":3.36211e-7,"domain_scores_codex":[0.9994053,0.00002446347,0.0002724315,0.00008577963,0.0001107812,0.0001012808],"domain_scores_gemma":[0.9994828,0.0002117048,0.00009151869,0.00006193445,0.00007373227,0.00007838549],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002060082,0.00003597793,0.0004631933,0.0001342429,0.0001013159,0.00002199374,0.001869278,0.911905,0.00101611,0.005919781,0.0002253837,0.07810175],"study_design_scores_gemma":[0.0004911517,0.00006245517,0.0004606498,0.00002924556,0.00003622857,0.00007189538,0.000565632,0.9879221,0.001657701,0.001083534,0.007497505,0.00012192],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06413329,0.002113124,0.9314889,0.000421049,0.0004411876,0.0001131394,0.000005274007,0.00002644005,0.001257626],"genre_scores_gemma":[0.9956026,0.001910559,0.002247082,0.00007841284,0.00009405339,0.000002789469,0.000003167969,0.00001096354,0.00005038713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9314693,"threshold_uncertainty_score":0.2804092,"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."}}