[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_129":130,"_131":132},"routes/public/layout",{"_68":69},"routes/public/primary/notes",{"_11":12,"_13":14},"note",{"_17":41,"_19":41,"_20":59,"_22":60,"_24":61,"_26":27,"_28":62,"_30":31,"_32":31,"_33":63,"_35":64,"_37":65,"_13":66},"backlinks",[15,16],{"_17":43,"_19":43,"_20":44,"_22":45,"_24":46,"_26":27,"_28":47,"_30":48,"_32":48,"_33":49,"_35":50,"_37":51,"_13":52},{"_17":18,"_19":18,"_20":21,"_22":23,"_24":25,"_26":27,"_28":29,"_30":31,"_32":31,"_33":34,"_35":36,"_37":38,"_13":39},"id","computer-science/algorithm/theoretical-knowledges/conditions-of-an-algorithm","slug","title","Conditions of an Algorithm","path","Computer Science/Algorithm/Theoretical Knowledges/Conditions of an Algorithm","canonicalPath","/notes/computer-science/algorithm/theoretical-knowledges/conditions-of-an-algorithm","folder","Computer Science","tags",[],"createdAt","2026-07-26T03:12:21.702Z","modifiedAt","excerpt","Algoritma punya dua kondisi, yaitu [[Correct Algorithm]] dan [[Incorrect Algorithm]]. Utamanya, algoritma yang tepat lah yang diharapkan untuk setiap masalah, tapi ternyata algoritma yang tidak tepat juga dapat berguna j","html","

Algoritma punya dua kondisi, yaitu Correct Algorithm dan Incorrect Algorithm. Utamanya, algoritma yang tepat lah yang diharapkan untuk setiap masalah, tapi ternyata algoritma yang tidak tepat juga dapat berguna jika kita dapat mengontrol tingkat kesalahan mereka.

","outgoing",[41,42],[40],"computer-science/algorithm/algorithm","computer-science/algorithm/theoretical-knowledges/correct-algorithm","computer-science/algorithm/theoretical-knowledges/incorrect-algorithm","computer-science/algorithm/practical-knowledges/insertion-sort/loop-invariant","Loop Invariant","Computer Science/Algorithm/Practical Knowledges/Insertion Sort/Loop Invariant","/notes/computer-science/algorithm/practical-knowledges/insertion-sort/loop-invariant",[],"2026-07-26T03:12:21.698Z","Loop Invariant adalah [[Subarray]] yang elemennya sudah diurutkan, contohnya seperti subarray di sisi kiri pada Insertion Sort (diwakili tangan kiri dalam ilustrasinya). Loop Invariants membantu kita memahami bagaimana s","

Loop Invariant adalah Subarray yang elemennya sudah diurutkan, contohnya seperti subarray di sisi kiri pada Insertion Sort (diwakili tangan kiri dalam ilustrasinya).

Loop Invariants membantu kita memahami bagaimana suatu algoritma dapat memiliki kondisi Correct Algorithm. Saat kita memakai Loop Invariants, ada 3 hal yang perlu diperhatikan:

Pembuktian loop invariant adalah bentuk dari Induksi Matematika.

",[57,41,53,55,56,58],[53,54,55,56],"computer-science/algorithm/practical-knowledges/insertion-sort/initialization","computer-science/algorithm/practical-knowledges/insertion-sort/insertion-sort","computer-science/algorithm/practical-knowledges/insertion-sort/maintenance","computer-science/algorithm/practical-knowledges/insertion-sort/termination","computer-science/algorithm/practical-knowledges/insertion-sort/subarray","computer-science/algorithm/practical-knowledges/insertion-sort/induksi-matematika","Correct Algorithm","Computer Science/Algorithm/Theoretical Knowledges/Correct Algorithm","/notes/computer-science/algorithm/theoretical-knowledges/correct-algorithm",[],"Algoritma dikatakan tepat jika dia dapat tuntas dalam jangka waktu tertentu dan menghasilkan output yang diharapkan dari [[Instance of a Problem]].","

Algoritma dikatakan tepat jika dia dapat tuntas dalam jangka waktu tertentu dan menghasilkan output yang diharapkan dari Instance of a Problem.

",[67],[43,18],"computer-science/algorithm/theoretical-knowledges/instance-of-a-problem","profile",{"_17":70,"_71":68,"_72":73,"_74":75,"_76":77,"_78":79,"_30":80,"_81":82},"6954a19b11e7fe6da253c845","type","identity",{"_119":120,"_121":122,"_123":124,"_125":126},"contact",{"_111":112,"_113":114},"seo",{"_20":95,"_96":97,"_98":99,"_100":101,"_102":103,"_104":105},"bio",{"_83":84,"_85":86,"_87":88,"_89":90,"_91":92,"_93":94},"2025-12-31T04:07:55.862Z","updatedAt","2026-07-28T08:55:52.260Z","p1","Maulana Hafidz Ismail is an engineer who believes technology isn't just about efficiency. It's about resistance.","p2","While the world optimizes for profit, he builds to question the system itself: in education, work, and how we define value.","p3","His background blends engineering precision with entrepreneurial instinct. He has worked across software development, database systems, and AI, always driven by one goal: to make tools that actually serve people, not the hierarchy itself.","closing","This site is his lab. He writes journals to document a process, articles to share thought, and papers to formalize the things he learns.","tagline","Some ideas fail, some evolve, all of them teach.","callToAction","If you're building, rebelling, or just thinking about how to make things better, you're already part of the conversation.","Maulana Hafidz","description","Technical articles, engineering notes, system design explorations, and project documentation by Maulana Hafidz Ismail, an Engineer documenting real software systems.","shortDescription","Maulana Hafidz Ismail is an Engineer and Entrepreneur in training. Redefining fairness in education, work, and governance.","url","https://maulanahafidz.com","image","https://maulanahafidz.com/og-image.jpg","keywords",[106,107,108,109,110],"Meta Engineer","Entrepreneur","Software Engineer","AI Developer","System Designer","email","contact@maulanahafidz.com","socials",{"_115":116,"_117":118},"github","https://github.com/imhefizh/","linkedin","https://www.linkedin.com/in/maulana-hafidz-ismail/","fullName","Maulana Hafidz Ismail","shortName","ImHefizh","titles",[127,128],"subtitle","Building systems that question the system.","Software Engineering","Entrepreneurship","nonce","f724fd8c2e4a4ff1be3065b7190f1239","language","EN"]

Linked mentions