Quivers of selfinjective algebras. Let's say a quiver $Q$ is covered by cycles if each of it’s arrows can be included in an oriented cycle. 
It's easy to prove that if a path-algebra with relations $KQ/I$ (where $I$ is an admissible ideal) is selfinjective then $Q$ is covered by cycles.
The following question occured to me: is the opposite true?
Is it true that if a quiver $Q$ is covered by cycles then there exist an admissible ideal $I\triangleleft KQ$ such that the algebra $KQ/I$ is selfinjective? 
I found an answer on my own. It's true indeed. But the proof is quite difficult. Maybe this result is already known?
 A: One way to prove a finite-dimensional algebra is self-injective is to find an isomorphism of modules $A\cong A^*$, that is a non-degenerate bilinear form such that $(ab,c)=(a,bc)$.  Of course, such a form is uniquely determined by the linear map $t(a)=(a,1)$ (you can recover the form by $(a,b)=t(ab)$).  
Thus, for any such linear map on an algebra, we have a canonical quotient on which it is non-degenerate (you can check that the kernel of $(-,-)$ is a 2-sided ideal), which is self-injective if it is finite dimensional.
Of course, if we consider a path algebra $kQ$, and consider a linear map that kills all paths of length $\geq N$, this will obviously have finite dimensional self-injective quotient.  
Thus, we need to see that if $Q$ is covered by cycles, we can find such a form whose kernel is an admissible ideal.  We can do this in a very silly way: pick any set of cycles $C_i$ which cover the graph and pick $a_i$ non-zero elements of $k$.  Let $t$ be the linear map which sends any path that traces out $C_i$ (with any starting point) to $a_i$ (you also need to add a term which gives non-zero values on all isolated vertices).  The kernel of this contains all paths longer than all $C_i$, so it is finite dimensional.  On the other hand, for any non-zero linear combination of idempotents (length 0 paths) and length 1 paths, one can always take pairing against a path either tracing one of the cycles starting at one of the vertices (if idempotents appear) or completing one of the cycles (if length 1 paths appear).  Thus, none of these lie in the kernel, and we are done.
