You are not eligible to file for K. It's only for USC.
V visa is only possible after waiting for 3 years from date of filling immigrant petition.
F visa is possible but I am not sure if she will get approval. Also, you need to find a way to maintain F1 for number of years depending upon immigration related scenario.
Another option is to apply immigrant petition for spouse as a LPR and upgrade the petition once you are USC. Once you are USC, you don't have to wait for Visa number after I-130 approval.
Each and every options have their advantage as well as drawbacks. Overall there is no shortcut for spouse of LPR.