fpf.tools
Library / Foundational Thinking DPF Suite
DPF

Computational Thinking DPF

14 patterns · 340 sections · 0.3 MB

Search this publication Original Markdown

Link to current text

Table of contents

Patterns · All sections
  1. Computational Thinking DPF
  2. Table of Contents
  3. Public units
  4. Part A - Construct an algorithm
  5. Part B - Control error and computational cost
  6. Part C - Interpret, transform and compose computations
  7. Computational Thinking - Readme
  8. Practical entries
  9. CP-TRANSLATION-SCOPE - A translation works on test inputs; which executions does it preserve?
  10. CP-ANSWER-UNDER-LIMITS - Obtain the answer the work needs within available resources
  11. CP-RETRY-AND-RECOVER - Share calculations without merging requests or repeating their effects
  12. Computational Thinking - Preface
  13. CMP.Preface:1 - Problem frame and the algorithmic difficulty
  14. CMP.Preface:2 - Forces that shape the construction
  15. CMP.Preface:3 - The methods and their connections
  16. CMP.Preface:3.1 - Construct an algorithm
  17. CMP.Preface:3.2 - Control error and computational cost
  18. CMP.Preface:3.3 - Interpret, transform and compose computations
  19. CMP.Preface:3.4 - Constituent actions in ongoing work
  20. CMP.Preface:4 - Worked connection - One best selection becomes every best selection
  21. CMP.Preface:5 - Use checks, assumptions and recurring failures
  22. CMP.Preface:6 - Consequences and Architectural Rationale
  23. CMP.Preface:7 - Shared sources, alternatives and relations
  24. CMP.Preface:End
  25. Part A - Construct an algorithm
  26. CMP.1CMP.1 - Solve One Problem through Another or Transfer a Limit (Computational Reduction)
  27. CMP.1:1 - Problem frame
  28. CMP.1:2 - Problem
  29. CMP.1:3 - Forces
  30. CMP.1:4 - Solution
  31. CMP.1:4.1 - Specify the two problems and the intended conclusion
  32. CMP.1:4.2 - Construct a query without solving the original problem
  33. CMP.1:4.3 - Construct answer recovery and establish correctness
  34. CMP.1:4.4 - Follow the direction of the consequence
  35. CMP.1:4.5 - Derive the cost that can change the choice
  36. CMP.1:4.6 - Return a usable construction or a bounded limit
  37. CMP.1:5 - Archetypal Grounding
  38. CMP.1:5.1 - Solve difference constraints through a graph problem
  39. CMP.1:5.2 - An event decider would decide halting
  40. CMP.1:5.3 - A small description can create an expensive search
  41. CMP.1:5.4 - Recover a witness through adaptive decision queries
  42. CMP.1:6 - Bias-Annotation
  43. CMP.1:7 - Conformance Checklist
  44. CMP.1:8 - Common Anti-Patterns and How to Avoid Them
  45. CMP.1:9 - Consequences
  46. CMP.1:10 - Architectural Rationale
  47. CMP.1:11 - SoTA-Echoing
  48. CMP.1:12 - Relations
  49. CMP.1:End
  50. CMP.2CMP.2 - Derive a Recursive Procedure from a Problem Decomposition
  51. CMP.2:1 - Problem frame
  52. CMP.2:2 - Problem
  53. CMP.2:3 - Forces
  54. CMP.2:4 - Solution
  55. CMP.2:4.1 - Fix the question and the available operations
  56. CMP.2:4.2 - Choose a decomposition by asking how answers would join
  57. CMP.2:4.3 - Strengthen the returned result when the join needs more
  58. CMP.2:4.4 - Supply base cases and a decreasing measure
  59. CMP.2:4.5 - Establish the result and expose its computational cost
  60. CMP.2:4.6 - Use the result and revisit the assumption that changed
  61. CMP.2:5 - Archetypal Grounding
  62. CMP.2:5.1 - A join that initially loses the answer
  63. CMP.2:5.2 - A subproblem obtained by a transformation
  64. CMP.2:6 - Bias-Annotation
  65. CMP.2:7 - Conformance Checklist
  66. CMP.2:8 - Common Anti-Patterns and How to Avoid Them
  67. CMP.2:9 - Consequences
  68. CMP.2:10 - Architectural Rationale
  69. CMP.2:11 - SoTA-Echoing
  70. CMP.2:12 - Relations
  71. CMP.2:End
  72. CMP.3CMP.3 - Share and Schedule Repeated Subcomputations
  73. CMP.3:1 - Problem frame
  74. CMP.3:2 - Problem
  75. CMP.3:3 - Forces
  76. CMP.3:4 - Solution
  77. CMP.3:4.1 - State what a subcomputation means
  78. CMP.3:4.2 - Define reuse by the answer the continuation needs
  79. CMP.3:4.3 - Construct the dependency graph and an evaluation order
  80. CMP.3:4.4 - Retain what remains live, and recompute selectively
  81. CMP.3:4.5 - Recover the value, witness or continuation actually requested
  82. CMP.3:4.6 - Compare the resulting procedure with the original
  83. CMP.3:5 - Archetypal Grounding
  84. CMP.3:5.1 - Obtain a sequence-editing answer without expanding repeated calls
  85. CMP.3:5.2 - Share an expression while preserving its interpretation
  86. CMP.3:6 - Bias-Annotation
  87. CMP.3:7 - Conformance Checklist
  88. CMP.3:8 - Common Anti-Patterns and How to Avoid Them
  89. CMP.3:9 - Consequences
  90. CMP.3:10 - Architectural Rationale
  91. CMP.3:11 - SoTA-Echoing
  92. CMP.3:12 - Relations
  93. CMP.3:End
  94. CMP.4CMP.4 - Construct Computational Search with Justified Exclusions
  95. CMP.4:1 - Problem frame
  96. CMP.4:2 - Problem
  97. CMP.4:3 - Forces
  98. CMP.4:4 - Solution
  99. CMP.4:4.1 - Define a partial choice and its completions
  100. CMP.4:4.2 - Derive an exclusion that applies to the entire branch

Showing 1–100 of 340 entries. Source edition 1f16950577d0.