[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-119789-en":3,"doc-seo-119789-105":30,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":4,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":27,"seo_description":14,"update_tm":28,"read_time":29},119789,962075006959,"Anda","https://ap-avatar.wpscdn.com/avatar/e0002397efbe92a78e?_k=1776741047341049297",8,"Research & Report","Methods for Efficient, Exact Combinatorial Computation in Machine Learning - Doctor of Philosophy thesis","Combinatorial problems arise frequently in machine learning, yet they often involve large-scale optimization with exponential or factorial complexity, making exhaustive search impractical. Heuristic methods may yield usable solutions quickly, but they are not guaranteed to be optimal. Dynamic programming offers efficient, broadly applicable exact solutions, though related algorithms are commonly developed in an ad-hoc manner. This thesis presents a rigorous algebraic approach that systematically derives exact DP algorithms from functional recurrences or existing ones. The resulting methods are provably correct and polymorphic over any semiring.","Methods for Efficient, Exact Combinatorial Computation in Machine Learning  \nby  \nUgur Kayas  \nA thesis submitted to the University of Birmingham for the degree of  \nDOCTOR OF PHILOSOPHY  \nSchool of Computer Science  \nCollege of Engineering and Physical Sciences University of Birmingham  \nJuly 2022  \nUniversity of Birmingham Research Archive  \ne-theses repository  \nThis unpublished thesis/dissertation is copyright of the author and/or third parties. The intellectual property rights of the author or third parties in respect of this work are as defined by The Copyright Designs and Patents Act 1988 or as modified by any successor legislation.  \nAny use made of information contained in this thesis/dissertation must be in accordance with that legislation and must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the permission of the copyright holder.  \nAbstract  \nCombinatorial problems are common in machine learning, but they are often large-scale, exponential or factorial complexity optimization problems, for which exhaustive methods are impractical. Heuristics are typically used instead but these are not provably optimal, although they may produce a workable compromise solution in a reasonable time. On the other hand, dynamic programming (DP) is an efficient and broadly applicable tool that finds exact solutions to combinatorial problems. However, DP lacks systematicity as most algorithms are derived in an ad-hoc, problem-specific manner. In the literature, there are attempts to standardize DP algorithms, but they are either unnecessarily general (constructive algorithmics) or have limited applications to different problems (Emoto’s GTA) .  \nIn this thesis, we propose a rigorous algebraic approach that systematically solves DP problems either by deriving algorithms from existing ones, or by deriving them from simple functional recurrences. The main contribution is providing novel, exact solutions for combinatorial optimization problems in machine learning and artificial intelligence. Our novel formalism largely bypasses the need to invoke the often quite high level of abstraction present in classical constructive algorithmics, as well as providing algorithms that are provably correct and polymorphic over any semiring. These algorithms can be applied to any combinatorial problem expressible in terms of semirings as a consequence of polymorphism. This approach also contributes to systematicity in embedding combinatorial constraints applying tupling to avoid the need for ad-hoc backtracking.  \nAcknowledgment  \nDuring my PhD, I have been extremely lucky with the people I have stumbled upon. I would like to thank Dr Max A. Little firstly for accepting me as his PhD student; and then for all the support, and guidance that he has given me throughout my PhD journey. I also could not have undertaken this journey without the academic support and great friendship of Dr Yordan Raykov. Of course this journey would not have been possible without the generous funding provided by the Ministry of National Education/Turkiye. Apparently the Turkish tax payer made a good investment.  \nI have also been blessed with meeting some truly kind and supportive friends. First of all, I would like to thank Adele for being my English advisor, for all the walks that we had together and for making me feel like I am the best chef in the world (as indicated by me never having any food left) . Meeting with Ellen was also a great pleasure and thank you Ellen for checking the reference list of this thesis (so you know who to blame if you spot a mistake) . I also need to mention Dorine for being an amazing flatmate and for teaching me how to clean the right way.  \nReham was an amazing mentor, she provided me with exceptional support throughout my first year (then she disappeared suddenly) . It would be rude of me not to mention that I am so thankful for Yazan, Adam and Hakan (although none of them thanked me in their t","cbCaijkeZX31hKBz","https://ap.wps.com/l/cbCaijkeZX31hKBz","pdf",1694171,1,120,"English","en",105,"# Introduction\n## Motivation\n## Contributions\n## Thesis Structure\n# Background\n## Related Work\n## Machine Learning\n## Mathematical Optimization\n## Concepts in Computational Complexity\n## Combinatorial Machine Learning (ML) Problems\n## Abstract algebra: monoids, groups and semirings\n## Dynamic programming (DP) and Directed Acyclic Computation Graphs (DAG)\n# Methods and Techniques\n## Preliminaries\n## A Generalized Bellman’s Recursion\n## Embedding a Constraint\n## Tupling semirings to avoid backtracking\n# Applications\n## Segmented Linear Regression\n## Sequence Alignment\n## Clustering","[{\"question\":\"Why are exhaustive methods often impractical for combinatorial machine learning problems?\",\"answer\":\"They typically have large-scale optimization objectives with exponential or factorial complexity, so exhaustive search becomes too costly. As a result, heuristics are commonly used instead.\"},{\"question\":\"What limitation of dynamic programming does the thesis address?\",\"answer\":\"Dynamic programming can find exact solutions efficiently, but many DP algorithms lack systematic construction because they are usually derived in an ad-hoc, problem-specific way.\"},{\"question\":\"How does the proposed algebraic approach ensure correctness and generality?\",\"answer\":\"It derives a rigorous algebraic formulation that produces provably correct algorithms. The algorithms are polymorphic over any semiring and apply to combinatorial problems expressible in semiring terms.\"}]","Methods for Efficient, Exact Combinatorial Computation in Machine Learning - Doctor of Philosophy thesis | PDF",1785726315,302,{"code":4,"msg":31,"data":32},"ok",{"site_id":24,"language":23,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":28},"methods-for-efficient-exact-combinatorial-computation-in-machine-learning-doctor-of-philosophy-thesis","",{"@graph":36,"@context":85},[37,54,68],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,51],{"item":41,"name":42,"@type":43,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":50},"https://docshare.wps.com/document/research-report/",3,{"item":52,"name":13,"@type":43,"position":53},"https://docshare.wps.com/document/methods-for-efficient-exact-combinatorial-computation-in-machine-learning-doctor-of-philosophy-thesis/119789/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":23,"description":14,"dateModified":62,"datePublished":62,"encodingFormat":61,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":41,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-08-03",true,{"@type":65,"interactionType":66,"userInteractionCount":4},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"Why are exhaustive methods often impractical for combinatorial machine learning problems?","Question",{"text":75,"@type":76},"They typically have large-scale optimization objectives with exponential or factorial complexity, so exhaustive search becomes too costly. As a result, heuristics are commonly used instead.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"What limitation of dynamic programming does the thesis address?",{"text":80,"@type":76},"Dynamic programming can find exact solutions efficiently, but many DP algorithms lack systematic construction because they are usually derived in an ad-hoc, problem-specific way.",{"name":82,"@type":73,"acceptedAnswer":83},"How does the proposed algebraic approach ensure correctness and generality?",{"text":84,"@type":76},"It derives a rigorous algebraic formulation that produces provably correct algorithms. The algorithms are polymorphic over any semiring and apply to combinatorial problems expressible in semiring terms.","https://schema.org",{"og:url":52,"og:type":87,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":89,"canonical":52},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,135],{"id":20,"doc_module":4,"doc_module_name":46,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":53,"doc_module":4,"doc_module_name":46,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":46,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":46,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":46,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":46,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":46,"category_name":137,"show_sort_weight":106,"slug":138},19,"General","general"]