Introduction to synergetic contracts
Synergetic contracts are a new type of smart contract which allow miners to use their computational power to solve useful problems and earn a reward.
Anyone can register a problem on the ledger by creating a synergetic contract and inviting miners to solve it.
All attempts at solving the problem form a Directed Acyclic Graph (DAG).
The type of problems that synergetic contracts can solve are complex optimisation problems such as scheduling patient appointments and protein folding.
A miner registers as a participant of the synergetic contract and starts calculating towards the problem solution from a random seed generated from a public key. It is a trial and error approach like proof of work.
Registered miners begin to solve the problem at the same time and the miner who solves the problem first wins the bounty associated with the problem.
Note
The winning miner is not necessarily the miner who verifies the block.
Annotations
etch
synergetic contract code includes specific annotated functions.

@problem
specifies a problem. 
@objective
measures the solution to a given problem. 
@work
creates a solution from a random number/nonce. 
@clear
finishes the competition, zeros everything, and saves the solution.